DOLCEbasic:presentAt

@prefix : <https://w3id.org/DOLCE/OWL/DOLCEbasic#> .
@prefix ace_lexicon: <http://attempto.ifi.uzh.ch/ace_lexicon#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:presentAt a owl:ObjectProperty ;
    rdfs:label "present at" ;
    ace_lexicon:TV_pl "are present at" ;
    ace_lexicon:TV_sg "is present at" ;
    ace_lexicon:TV_vbg "the value of the present at relation taken" ;
    rdfs:comment "presentAt is a binary relation between an endurant or a perdurant or a quality x and a time interval t which is part of x's temporal location." ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( :Endurant :Perdurant :Quality ) ] ;
    rdfs:range :TimeInterval ;
    owl:propertyChainAxiom ( [ owl:inverseOf :specificallyDependsOn ] :presentAt ),
        ( [ owl:inverseOf :directQualityOf ] :presentAt ),
        ( :constantProperPartOf :presentAt ),
        ( :presentAt [ owl:inverseOf :partOf ] ),
        ( :constantConstituentOf :presentAt ),
        ( :constantAtomicPartOf :presentAt ),
        ( [ owl:inverseOf :partOf ] :presentAt ),
        ( :constantPartOf :presentAt ),
        ( :directQualityOf :presentAt ),
        ( :constantParticipantOf :presentAt ) .