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 域 postCity, 1 and PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24756-24756 域 postCity, 2 and City
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24753-24753 例 postCity and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24754-24754 例 postCity and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24757-24757 子關係 postCity and 位於

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 and City 例 PostalPlace and PostalPlace 例 City and City PostalPlace 是在 City
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