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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComplementFn

Sigma KEE - ComplementFn
ComplementFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2300-2302
No TPTP formula. May not be expressible in strict first order. Merge.kif 5480-5483
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 969-971
No TPTP formula. May not be expressible in strict first order. Merge.kif 5477-5477 The number 1 argument of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5476-5476 Complement is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5475-5475 Complement is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5478-5478 The range of complement is an instance of set or class

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 500-500
No TPTP formula. May not be expressible in strict first order. english_format.kif 505-505
No TPTP formula. May not be expressible in strict first order. french_format.kif 293-293
No TPTP formula. May not be expressible in strict first order. relations-it.txt 46-46
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2070-2070
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 245-245
No TPTP formula. May not be expressible in strict first order. relations-de.txt 650-650
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 88-88
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 314-314
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 321-321
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 80-80
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16170-16170
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 501-501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16169-16169
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16168-16168
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 109-109

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 451-451 Chemical agent is a subclass of the complement of organic object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7666-7666 Medical clinic building is a subclass of the complement of residence


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

Show without tree


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