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 15123-15124
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 15122-15122 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 15139-15139 Room is disjoint from building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6954-6954 Auditorium is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15134-15134 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 6678-6678 Commercial building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21818-21818 Entertainment building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6725-6725 Farm building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21830-21830 Government building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25838-25838 High rise is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2941-2941 Home garage is a subclass of building
No TPTP formula. May not be expressible in strict first order. Hotel.kif 127-127 Hotel villa is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8053-8053 LibraryBuilding is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7315-7315 Medical clinic building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21905-21905 Office building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2942-2942 Parking garage is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21914-21914 Place of worship is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20212-20212 Police facility is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7547-7547 Religious building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Merge.kif 15186-15186 Residential building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21950-21950 Restaurant building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6713-6713 Store is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2926-2926 Terminal building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3083-3083 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 681-681 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 25498-25510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14514-14524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14490-14502
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6555-6561
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 15126-15136

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4740-4748
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 6355-6361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20455-20464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14828-14837
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19843-19850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20082-20089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14716-14723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14844-14857
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14790-14795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14903-14908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8722-8727
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14816-14821
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8076-8083
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8710-8716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15087-15094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15042-15047
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14763-14768
No TPTP formula. May not be expressible in strict first order. Merge.kif 15145-15150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7556-7561
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14593-14601
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14729-14736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14707-14714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25360-25371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25959-25968

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