TreeView Knowledge Base Browser

appearance as argument number 1

(instance workLocation BinaryPredicate)	Mid-level-ontology.kif 22770-22770	work location is an instance of binary predicate
(domain workLocation 1 Organization)	Mid-level-ontology.kif 22771-22771	The number 1 argument of work location is an instance of organization
(domain workLocation 2 StationaryArtifact)	Mid-level-ontology.kif 22772-22772	The number 2 argument of work location is an instance of stationary artifact
(documentation workLocation EnglishLanguage "A Relation that specifies the typical or primary location where members of an Organization work.")	Mid-level-ontology.kif 22773-22774	The number 2 argument of work location is an instance of stationary artifact

appearance as argument number 2

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

antecedent

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

If members of X work at Y, Z is a member of X, W is an instance of working, and Z is an agent of W, then the statement W is located at Y has the modal force of likely

consequent

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

If X is an instance of building unit, then there exist Y, Z such that Z is an instance of building, Y is an instance of organization, X is a part of Z, and members of Y work at X