| 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 5480-5483 | |
| (documentation ComplementFn JapaneseLanguage "指定された SetOrClass C の補数は、C のインス、 ンスではないすべてのものである。言い換えると、オブジェクトはCのインスタンスでない場合に備えて、 SetOrClass C の補数のインスタンスである。") | japanese_format.kif 969-971 | |
| (domain ComplementFn 1 SetOrClass) | Merge.kif 5477-5477 | |
| (instance ComplementFn TotalValuedRelation) | Merge.kif 5476-5476 | |
| (instance ComplementFn UnaryFunction) | Merge.kif 5475-5475 | |
| (range ComplementFn SetOrClass) | Merge.kif 5478-5478 |
| 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 | |
| (subclass MedicalClinicBuilding (ComplementFn Residence)) |
Mid-level-ontology.kif 7666-7666 |
|
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