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 5481-5484
(documentation ComplementFn JapaneseLanguage "指定された SetOrClass C の補数は、C のインス、 ンスではないすべてのものである。言い換えると、オブジェクトはCのインスタンスでない場合に備えて、 SetOrClass C の補数のインスタンスである。") japanese_format.kif 969-971
(domain ComplementFn 1 SetOrClass) Merge.kif 5478-5478 Le nombre 1 argument de ComplementFn est une instance de ensemble ou classe
(instance ComplementFn TotalValuedRelation) Merge.kif 5477-5477 ComplementFn est une instance de relation total
(instance ComplementFn UnaryFunction) Merge.kif 5476-5476 ComplementFn est une instance de function unaire
(range ComplementFn SetOrClass) Merge.kif 5479-5479 Le domaine de ComplementFn est une instance de ensemble ou classe

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


(format ChineseLanguage ComplementFn "%1 的补集") chinese_format.kif 500-500
(format EnglishLanguage ComplementFn "the complement of %1") english_format.kif 505-505
(format FrenchLanguage ComplementFn "le compl�ment de %1") french_format.kif 293-293
(format ItalianLanguage ComplementFn "il complemento di %1") relations-it.txt 46-46
(format JapaneseLanguage ComplementFn "%1 の complement") japanese_format.kif 2070-2070
(format PortugueseLanguage ComplementFn "o complemento de %1") portuguese_format.kif 245-245
(format de ComplementFn "die ergaenzung von %1") relations-de.txt 650-650
(format hi ComplementFn "%1 kaa puuraka") relations-hindi.txt 88-88
(format ro ComplementFn "complement%t{complementara} lui %1") relations-ro.kif 314-314
(format sv ComplementFn "komplementet till %1") relations-sv.txt 321-321
(format tg ComplementFn "the kapupunan ng %1") relations-cb.txt 80-80
(termFormat ChineseLanguage ComplementFn "补充") domainEnglishFormat.kif 16170-16170
(termFormat ChineseLanguage ComplementFn "补集函数") chinese_format.kif 501-501
(termFormat ChineseTraditionalLanguage ComplementFn "補充") domainEnglishFormat.kif 16169-16169
(termFormat EnglishLanguage ComplementFn "complement") domainEnglishFormat.kif 16168-16168
(termFormat tg ComplementFn "tungkulin ng kapupunan") relations-tg.txt 109-109

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


(subclass ChemicalAgent
    (ComplementFn OrganicObject))
WMD.kif 451-451 ChemicalAgent est une sous-classe de le compl�ment de objet organique
(subclass MedicalClinicBuilding
    (ComplementFn Residence))
Mid-level-ontology.kif 7693-7693 MedicalClinicBuilding est une sous-classe de le compl�ment de 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 3.0 is open source software produced by Articulate Software and its partners