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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 数量 是 PostalPlaceinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24756-24756 postCity 的 2 数量 是 城市instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24753-24753 postCity非对称关系instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24754-24754 postCity二元谓语instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24757-24757 postCity位于subrelation

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 PostalPlacelocated 城市那个 PostalPlacePostalPlaceinstance那个 城市城市instance 若且唯若 那个 PostalPlace 是在 那个 城市
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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