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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postPostOfficeBox

 Sigma KEE - postPostOfficeBox
postPostOfficeBox

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24837-24841
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24835-24835 O argumento numero 1 de postPostOfficeBox e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24836-24836 O argumento numero 2 de postPostOfficeBox e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24833-24833 postPostOfficeBox e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24834-24834 postPostOfficeBox e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4174-4174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4173-4173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4172-4172
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65908-65908


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