Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Building StationaryArtifact) Merge.kif 15739-15739
(subclass TerminalBuilding Building) Transportation.kif 2919-2919
(subclass HomeGarage Building) Transportation.kif 2934-2934
(subclass ParkingGarage Building) Transportation.kif 2935-2935
(subclass TollBooth Building) Transportation.kif 3076-3076
(subclass BaseballDugout Building) Sports.kif 648-648
(subclass CommercialBuilding Building) Mid-level-ontology.kif 7044-7044
(subclass Store Building) Mid-level-ontology.kif 7079-7079
(subclass FarmBuilding Building) Mid-level-ontology.kif 7091-7091
(subclass Auditorium Building) Mid-level-ontology.kif 7320-7320
(subclass MedicalClinicBuilding Building) Mid-level-ontology.kif 7667-7667
(subclass ReligiousBuilding Building) Mid-level-ontology.kif 7904-7904
(subclass LibraryBuilding Building) Mid-level-ontology.kif 8476-8476
(subclass Barn Building) Mid-level-ontology.kif 15736-15736
(subclass PoliceFacility Building) Mid-level-ontology.kif 20922-20922
(subclass EntertainmentBuilding Building) Mid-level-ontology.kif 22390-22390
(subclass GovernmentBuilding Building) Mid-level-ontology.kif 22402-22402
(subclass OfficeBuilding Building) Mid-level-ontology.kif 22477-22477
(subclass SchoolBuilding Building) Mid-level-ontology.kif 22482-22482
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 22520-22520
(subclass RestaurantBuilding Building) Mid-level-ontology.kif 22556-22556
(subclass HighRise Building) Mid-level-ontology.kif 26503-26503
(subclass ResidentialBuilding Building) Merge.kif 15803-15803
(subclass HotelVilla Building) Hotel.kif 132-132


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