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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postCity

 Sigma KEE - postCity
postCity

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24758-24760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24755-24755 O argumento numero 1 de postCity e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24756-24756 O argumento numero 2 de postCity e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24753-24753 postCity e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24754-24754 postCity e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24757-24757 postCity e' uma sub-relacao de located

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4150-4150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4149-4149
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4148-4148
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65903-65903

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24721-24726
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24728-24735

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24762-24767 PostalPlace e' situado em Cidade PostalPlace e' uma instancia de PostalPlace Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24682-24687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24796-24801


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