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 24590-24592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24589-24589 PostalPlace est une sous-classe de ContactSite
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24588-24588 PostalPlace est une sous-classe de LocalizablePlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24587-24587 PostalPlace est une sous-classe de artefact stationnaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24595-24595 MilitaryInstallation est une sous-classe de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24597-24597 PlaceOfCommerce est une sous-classe de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24596-24596 Residence est une sous-classe de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24593-24593

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24629-24629 Le nombre 2 argument de floorCode est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24851-24851 Le nombre 2 argument de postAddressText est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24755-24755 Le nombre 1 argument de postCity est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24610-24610 Le nombre 1 argument de postContactSite est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24698-24698 Le nombre 1 argument de postCountry est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24739-24739 Le nombre 1 argument de postDistrict est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24672-24672 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 24836-24836 Le nombre 2 argument de postPostOfficeBox est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24781-24781 Le nombre 1 argument de postPostcodeArea est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24812-24812 Le nombre 1 argument de postStreet est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24825-24825 Le nombre 2 argument de postStreetNumber est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24623-24623 Le nombre 2 argument de unitNumber est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23222-23222 Le nombre 1 argument de workAddress est une instance de PostalPlace

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24789-24794 PostalPlace est situ� � PostcodeArea PostalPlace est une instance de PostalPlace PostcodeArea est une instance de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24762-24767 PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace 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 24675-24680 PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance de Neighborhood postNeighborhood PostalPlace and Neighborhood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24746-24751 PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24712-24719 PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique

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