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 O argumento numero 1 de ComplementFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5476-5476 ComplementFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 5475-5475 ComplementFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 5478-5478 O contra-dominio de ComplementFn e' uma instancia de Conjunto 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 e' uma sub-classe de o complemento de Objeto Organico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7666-7666 MedicalClinicBuilding e' uma sub-classe de o complemento 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