ClosedForMaintenanceRule
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:sto="http://vistology.com/ont/2009/especs/STO.owl#"
xmlns:stox="http://vistology.com/ont/2009/especs/STOExtension.owl#"
xmlns:bgk="http://vistology.com/ont/2009/especs/BackgroundKnowledge.owl#"
xmlns:s1="http://vistology.com/ont/2009/especs/S1.owl#"
(Sit) rdf:type sto:FocalSituation
(Sit) sto:relevantRelation bgk:undergoes
(Sit) sto:relevantIndividual (Ind1)
(Ind1) rdf:type bgk:Bridge
(Ind1) stox:hasUniqueAttribute (Ind1Att)
(Ind1Att) rdf:type stox:UniqueLocation
(Ind1Att) stox:isUniqueAttributeOf (Ind1)
(Ind1Att) stox:hasUniqueAttributeValue (Ind1AttVal)
(Ind1AttVal) rdf:type stox:UniqueValue
(Ind1AttVal) stox:uniqueAttributeValue (val)
(Sit) sto:relevantIndividual (Ind2)
(Ind2) rdf:type bgk:Maintenance
(Ind2) bgk:inProcess sto:_1
(Ind2) bgk:hasUniqueID (ID)
(ID) rdf:type stox:UniqueValue
(ID) stox:uniqueAttributeValue (IDValue)
(Ind1) bgk:undergoes (Ind2)
ClosedForMaintenance