TreeView Knowledge Base Browser - postNeighborhood

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

postNeighborhood

Sigma KEE - postNeighborhood

postNeighborhood

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24670-24671
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24672-24672	O argumento numero 1 de postNeighborhood e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24673-24673	O argumento numero 2 de postNeighborhood e' uma instancia de Neighborhood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24668-24668	postNeighborhood e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24667-24667	postNeighborhood e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24669-24669	postNeighborhood e' uma sub-relacao de located

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4166-4166
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4165-4165
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4164-4164
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65907-65907

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24682-24687	postNeighborhood PostalPlace and Neighborhood geographicSubregion Neighborhood and Cidade Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24689-24694	postNeighborhood PostalPlace and Neighborhood geographicSubregion Neighborhood and Estado ou Provincia Estado ou Provincia e' uma instancia de Estado ou Provincia postDistrict PostalPlace and Estado ou Provincia

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 24675-24680

PostalPlace e' situado em Neighborhood PostalPlace e' uma instancia de PostalPlace Neighborhood e' uma instancia de Neighborhood postNeighborhood PostalPlace and Neighborhood

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