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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PostalPlace
PostalPlace

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24648-24650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24647-24647 PostalPlace e' uma sub-classe de ContactSite
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24646-24646 PostalPlace e' uma sub-classe de LocalizablePlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24645-24645 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 24653-24653 MilitaryInstallation e' uma sub-classe de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24655-24655 PlaceOfCommerce e' uma sub-classe de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24654-24654 Residence e' uma sub-classe de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24651-24651

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24687-24687 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 24909-24909 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 24813-24813 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 24668-24668 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 24756-24756 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 24797-24797 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 24730-24730 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 24894-24894 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 24839-24839 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 24870-24870 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 24883-24883 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 24681-24681 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 23275-23275 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 24847-24852 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 24820-24825 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 24733-24738 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 24804-24809 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 24770-24777 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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