Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComplementFn
ComplementFn

appearance as argument number 1
-------------------------


(documentation ComplementFn ChineseLanguage "一个特定的 SetOrClass C 的补集,是一个包含所有 东西、但不包括C实例的 SetOrClass。换句话数,一个物体是 SetOrClass C 补集的一个实例,以防它不是C 的一个实例。") chinese_format.kif 2300-2302
(documentation ComplementFn EnglishLanguage "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.") Merge.kif 5150-5153
(domain ComplementFn 1 SetOrClass) Merge.kif 5147-5147 domain ComplementFn, 1 and SetOrClass
(instance ComplementFn TotalValuedRelation) Merge.kif 5146-5146 instance ComplementFn and TotalValuedRelation
(instance ComplementFn UnaryFunction) Merge.kif 5145-5145 instance ComplementFn and UnaryFunction
(range ComplementFn SetOrClass) Merge.kif 5148-5148 range ComplementFn and SetOrClass

appearance as argument number 2
-------------------------


(format ChineseLanguage ComplementFn "%1 的补集") chinese_format.kif 500-500
(format EnglishLanguage ComplementFn "the complement of %1") english_format.kif 508-508
(termFormat ChineseLanguage ComplementFn "补充") domainEnglishFormat.kif 16093-16093
(termFormat ChineseLanguage ComplementFn "补集函数") chinese_format.kif 501-501
(termFormat ChineseTraditionalLanguage ComplementFn "補充") domainEnglishFormat.kif 16092-16092
(termFormat EnglishLanguage ComplementFn "complement") domainEnglishFormat.kif 16091-16091

statement
-------------------------


(subclass ChemicalAgent
    (ComplementFn OrganicObject))
WMD.kif 446-446 subclass ChemicalAgent and ComplementFn OrganicObject
(subclass MedicalClinicBuilding
    (ComplementFn Residence))
Mid-level-ontology.kif 7361-7361 subclass MedicalClinicBuilding and ComplementFn Residence


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners