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 Le nombre 1 argument de ComplementFn est une instance de ensemble ou classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5476-5476 ComplementFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 5475-5475 ComplementFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 5478-5478 Le domaine de ComplementFn est une instance de ensemble ou classe

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 ChemicalAgent est une sous-classe de le compl�ment de objet organique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7666-7666 MedicalClinicBuilding est une sous-classe de le compl�ment de 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