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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Building
Building(building)
Alhambra, Balmoral_Castle, CN_Tower, Caaba, Eiffel_Tower, Empire_State_Building, Hagia_Sofia, Hagia_Sophia, Hall_of_Fame, Houses_of_Parliament, Independence_Hall, Ionic, Kaaba, Kremlin, Lateran_Palace, National_Baseball_Hall_of_Fame, Newgate, Opera, Parthenon, Pentagon, Petronas_Towers, Roman_basilica, Roman_building, Santa_Sofia, Santa_Sophia, Sears_Tower, Space_Needle, Statehouse, Tudor, WTC, Westminster_Abbey, White_House, World_Trade_Center, abattoir, acropolis, adobe_house, airdock, alcazar, alehouse, amphiprostylar, amphiprostyle, amphistylar, amphitheatric, amphitheatrical, apiary, apteral, astylar, attached, aviary, awninged...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3586-3587
No TPTP formula. May not be expressible in strict first order. Merge.kif 15486-15487
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1679-1679
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2128-2128
No TPTP formula. May not be expressible in strict first order. Merge.kif 15485-15485 Building is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15502-15502 Room is disjoint from building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7018-7018 Auditorium is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15236-15236 Barn is a subclass of building
No TPTP formula. May not be expressible in strict first order. Sports.kif 579-579 Baseball dugout is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6742-6742 Commercial building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21955-21955 Entertainment building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6789-6789 Farm building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21967-21967 Government building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25982-25982 High rise is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2933-2933 Home garage is a subclass of building
No TPTP formula. May not be expressible in strict first order. Hotel.kif 132-132 Hotel villa is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8125-8125 LibraryBuilding is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7382-7382 Medical clinic building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22042-22042 Office building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2934-2934 Parking garage is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22051-22051 Place of worship is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20326-20326 Police facility is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7619-7619 Religious building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Merge.kif 15549-15549 Residential building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22087-22087 Restaurant building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6777-6777 Store is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2918-2918 Terminal building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3075-3075 Toll booth is a subclass of building
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1051-1051
No TPTP formula. May not be expressible in strict first order. english_format.kif 1313-1313

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 702-702 The number 1 argument of number of floors is an instance of building

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25643-25655
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14616-14626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14592-14604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6619-6625
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-121
No TPTP formula. May not be expressible in strict first order. Merge.kif 15489-15499

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4788-4796
No TPTP formula. May not be expressible in strict first order. naics.kif 8776-8797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6419-6425
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20586-20595
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14930-14939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19956-19963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20196-20203
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14818-14825
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14946-14959
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14892-14897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15005-15010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8794-8799
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14918-14923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8148-8155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8782-8788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15189-15196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15144-15149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14865-14870
No TPTP formula. May not be expressible in strict first order. Merge.kif 15508-15513
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7628-7633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14695-14703
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14831-14838
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14809-14816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25505-25516
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26103-26112

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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