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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PostalPlace

 Sigma KEE - PostalPlace
PostalPlace

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24591-24593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24590-24590 PostalPlace e' uma sub-classe de ContactSite
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24589-24589 PostalPlace e' uma sub-classe de LocalizablePlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24588-24588 PostalPlace e' uma sub-classe de Artefato Estacionario

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24596-24596 MilitaryInstallation e' uma sub-classe de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24598-24598 PlaceOfCommerce e' uma sub-classe de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24597-24597 Residence e' uma sub-classe de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24594-24594

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24630-24630 O argumento numero 2 de floorCode e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24852-24852 O argumento numero 2 de postAddressText e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24756-24756 O argumento numero 1 de postCity e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24611-24611 O argumento numero 1 de postContactSite e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24699-24699 O argumento numero 1 de postCountry e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24740-24740 O argumento numero 1 de postDistrict 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 1 de postNeighborhood e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24837-24837 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 24782-24782 O argumento numero 1 de postPostcodeArea e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24813-24813 O argumento numero 1 de postStreet e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24826-24826 O argumento numero 2 de postStreetNumber e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24624-24624 O argumento numero 2 de unitNumber e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23223-23223 O argumento numero 1 de workAddress e' uma instancia de PostalPlace

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24790-24795 PostalPlace e' situado em PostcodeArea PostalPlace e' uma instancia de PostalPlace PostcodeArea e' uma instancia de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24763-24768 PostalPlace e' situado em Cidade PostalPlace e' uma instancia de PostalPlace 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 24676-24681 PostalPlace e' situado em Neighborhood PostalPlace e' uma instancia de PostalPlace Neighborhood e' uma instancia de Neighborhood postNeighborhood PostalPlace and Neighborhood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24747-24752 PostalPlace e' situado em Estado ou Provincia PostalPlace e' uma instancia de PostalPlace Estado ou Provincia e' uma instancia de Estado ou Provincia postDistrict PostalPlace and Estado ou Provincia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24713-24720 PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2035-2053


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