Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

が干ㄧ计 (ComplementFn)

The complement of a given SetOrClass C is the SetOrClass of all things that are not instances of C. In other words, an object is an instance of the complement of a SetOrClass C just in case it is not an instance of C.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

贺摸
is instance of
  膥┯闽玒  
is instance of
  じㄧ计  
is instance of
  が干ㄧ计  

Coordinate term(s)

荡癸ㄧ计  磞瓃ㄧ计  ┓緇┒  ┓タ┒  ┓タち  はㄧ计  丁秨﹍ㄧ计  程竊翴ㄧ计  璸计ㄧ计  ㄧ计  緇┒ㄧ计  ユ隔畖ㄧ计  虫ㄧ计  丁挡ㄧΑ  程竊翴ㄧ计  絛瞅ㄧ计  ㄧ计  タㄧ计  丁ゼㄓㄧΑ  阀てㄧ计  阀て羛栋ㄧ计  货璸ㄧ计  店计ㄧ计  程ゼㄓ丁ㄧ计  程筁丁ㄧ计  癬﹍竊翴ㄧ计  俱计キよㄧ计  璸ㄧ计  ㄧ计  计ㄧ计  κ窾璸ㄧ计  κ窾だぇ璸ㄧ计  だぇ璸ㄧ计  程ユ隔畖ㄧ计  ーμㄧ计  だㄧ计  舱麓ㄧ计  筁丁ㄧΑ  隔畖秖ㄧ计  だぇ璸ㄧ计  经栋ㄧ计  玡计ㄧ计  砰ㄧ计  ┪礛瞯ㄧ计  疭┦ㄧ计  Τ瞶计ㄧ计  龟计ㄧ计  计ㄧ计  俱计ㄧ计  タ璽腹ㄧ计  タ┒ㄧ计  ブㄧ计  キよㄧ计  计ㄧ计  タちㄧ计  璸ㄧ计  沧竊翴ㄧ计  癩玻ㄧ计  丁ㄧ计  ㄧ计 

Type restrictions

栋┪贺摸 ComplementFn(栋┪贺摸)

Axioms (2)

entity 琌 "classが干"  龟ㄒ if and only if entity 琌 class龟ㄒ. 
(<=>
      (instance
            ?ENTITY
            (ComplementFn ?CLASS))
      (not
            (instance ?ENTITY ?CLASS)))
If class1 琌 栋┪贺摸龟ㄒ and class2 琌 栋┪贺摸龟ㄒ, then "class1 ㎝ class2畉钵" 单 "class1 ㎝ "class2が干"  羛栋". 
(=>
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass))
      (equal
            (RelativeComplementFn ?CLASS1 ?CLASS2)
            (IntersectionFn
                  ?CLASS1
                  (ComplementFn ?CLASS2))))