Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  basedIn

Sigma KEE - basedIn
basedIn

appearance as argument number 1
-------------------------


(documentation basedIn EnglishLanguage "(basedIn ?EMPLOYEE ?ORG ?AREA) means that the employee ?EMPLOYEE of the organization ?ORG is usually based or headquartered in ?AREA.") TravelPolicies.kif 367-368
(domain basedIn 1 Human) TravelPolicies.kif 370-370
(domain basedIn 2 Organization) TravelPolicies.kif 371-371
(domain basedIn 3 GeopoliticalArea) TravelPolicies.kif 372-372
(instance basedIn TernaryPredicate) TravelPolicies.kif 373-373
(subrelation basedIn located) TravelPolicies.kif 374-374

appearance as argument number 2
-------------------------


(format EnglishLanguage basedIn "employee %1 in %2 is based in %3") domainEnglishFormat.kif 728-728

consequent
-------------------------


(=>
    (employs ?EMPLOYEE ?ORG)
    (exists (?AREA)
        (and
            (located ?ORG ?AREA)
            (basedIn ?EMPLOYEE ?ORG ?AREA))))
TravelPolicies.kif 376-381
(=>
    (instance ?T BusinessTrip)
    (exists (?TRIP ?HUMAN ?ORG ?AREA)
        (and
            (instance ?TRIP Trip)
            (agent ?TRIP ?HUMAN)
            (organizationRepresentative ?HUMAN ?ORG)
            (hasPurpose ?TRIP
                (exists (?WORK)
                    (and
                        (instance ?WORK Working)
                        (agent ?WORK ?HUMAN)
                        (holdsDuring ?WORK ?TRIP))))
            (not
                (and
                    (basedIn ?HUMAN ?ORG ?AREA)
                    (located ?WORK ?AREA))))))
TravelPolicies.kif 385-401


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners