| 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 . |