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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postCountry

 Sigma KEE - postCountry
postCountry

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24702-24705
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24699-24699 Le nombre 1 argument de postCountry est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24700-24700 Le nombre 2 argument de postCountry est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24697-24697 postCountry est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24698-24698 postCountry est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24701-24701 postCountry est une sous-relation de located

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4158-4158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4157-4157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4156-4156
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65905-65905

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24707-24711

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24713-24720 PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24729-24736


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