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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postPostcodeArea

 Sigma KEE - postPostcodeArea
postPostcodeArea

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24785-24788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24782-24782 postPostcodeArea 的 1 数量 是 PostalPlace 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24783-24783 postPostcodeArea 的 2 数量 是 PostcodeArea 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24780-24780 postPostcodeArea 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24781-24781 postPostcodeArea 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24784-24784 postPostcodeArea 是 位于 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4170-4170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4169-4169
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4168-4168
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65909-65909

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24797-24802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24804-24809

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24790-24795 PostalPlace 是 located 在 PostcodeArea 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 PostcodeArea 是 PostcodeArea 的 instance 若且唯若 那个 PostalPlace 是在 post code 那个 PostcodeArea


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