ex:Building rdf:type s4bldg:Building .

ex : Bui lding s4bldg : hasSpace ex :House .

ex:Building s4bldg:hasSpace ex:House .

ex:House rdf:type s4bldg:BuildingSpace .

ex:House rdf:type saref:FeatureOfInterest .

ex:House s4bldg:hasSpace ex:LivingRoom .

ex:LivingRoom rdf:type s4bldg:BuildingSpace .

ex:LivingRoom rdf:type saref:FeatureOfInterest .

ex:House s4bldg:hasSpace ex:Terrace .

ex:Terrace rdf:type s4bldg:BuildingSpace .

ex:Terrace rdf:type saref:FeatureOfInterest .

ex:LivingRoom s4bldg:contains ex:Door .

ex:Door rdf:type s4bldg:BuildingObject .

ex:LivingRoom s4bldg:contains ex:Window .

ex:Window rdf:type s4bldg:BuildingObject .

s4bldg:BuildingObject rdfs:subClassOf s4bldg:PhysicalObject .

ex:LivingRoom s4bldg:contains ex:LightSwitch .

ex:LightSwitch rdf:type saref:Device .

saref:Device rdfs:subClassOf s4bldg:PhysicalObject .

ex:LightSwitch rdf:type saref:Actuator .

ex:LivingRoom s4bldg:contains ex:Thermometer .

ex:Thermometer rdf:type saref:Device .

ex:Thermometer rdf:type saref:TemperatureSensor .

ex:LivingRoom s4bldg:contains ex:PresenceDetector .

ex:PresenceDetector rdf:type saref:Device .

ex:PresenceDetector rdf:type saref:Sensor .