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 and PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24783-24783 域 postPostcodeArea, 2 and PostcodeArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24780-24780 例 postPostcodeArea and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24781-24781 例 postPostcodeArea and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24784-24784 子關係 postPostcodeArea and 位於

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 and PostcodeArea 例 PostalPlace and PostalPlace 例 PostcodeArea and PostcodeArea 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