workLocation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation workLocation EnglishLanguage "A Relation that specifies the typical or primary location where members of an Organization work.")	Mid-level-ontology.kif 20558-20559
(domain workLocation 1 Organization)	Mid-level-ontology.kif 20556-20556	Die Zahl 1 Argument von workLocation ist ein fall von Organization %n{nicht}
(domain workLocation 2 StationaryArtifact)	Mid-level-ontology.kif 20557-20557	Die Zahl 2 Argument von workLocation ist ein fall von StationaryArtifact %n{nicht}
(instance workLocation BinaryPredicate)	Mid-level-ontology.kif 20555-20555	workLocation ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format EnglishLanguage workLocation "members of %1 work at %2")	Mid-level-ontology.kif 20560-20560
(termFormat EnglishLanguage workLocation "work location")	domainEnglishFormat.kif 65974-65974

antecedent

(=>
    (and
        (workLocation ?O ?S)
        (member ?P ?O)
        (instance ?W Working)
        (agent ?W ?P))
    (modalAttribute
        (located ?W ?S) Likely))

Mid-level-ontology.kif 20562-20570

Wenn workLocation Organization and StationaryArtifact und AutonomousAgent ist ein Mitglied von ** Organization %n{nicht} und Process ist ein fall von Working %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht},
dann die Aussage ** Process befindet sich an %n{nicht} hat die modale Kraft von Likely

consequent

(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))

Mid-level-ontology.kif 20579-20586