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 24671-24672
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24673-24673	Le nombre 1 argument de postNeighborhood est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24674-24674	Le nombre 2 argument de postNeighborhood est une instance de Neighborhood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24669-24669	postNeighborhood est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24668-24668	postNeighborhood est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24670-24670	postNeighborhood est une sous-relation 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 24683-24688	postNeighborhood PostalPlace and Neighborhood geographicSubregion Neighborhood and ville ville est une instance de ville postCity PostalPlace and ville
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24690-24695	postNeighborhood PostalPlace and Neighborhood geographicSubregion Neighborhood and Etat ou province Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province

consequent

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

Mid-level-ontology.kif 24676-24681

PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance 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