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 24759-24761
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24756-24756 postCity 的 1 数量 是 PostalPlace 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24757-24757 postCity 的 2 数量 是 城市 的 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 24755-24755 postCity 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24758-24758 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 24722-24727
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24729-24736

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24763-24768 PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24683-24688
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24797-24802


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