basedIn - Sigma Knowledge base Browser

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 364-365
(domain basedIn 1 Human)	TravelPolicies.kif 367-367	The number 1 argument of basedIn is an instance of human
(domain basedIn 2 Organization)	TravelPolicies.kif 368-368	The number 2 argument of basedIn is an instance of organization
(domain basedIn 3 GeopoliticalArea)	TravelPolicies.kif 369-369	The number 3 argument of basedIn is an instance of geopolitical area
(instance basedIn TernaryPredicate)	TravelPolicies.kif 370-370	basedIn is an instance of ternary predicate
(subrelation basedIn located)	TravelPolicies.kif 371-371	basedIn is a subrelation of located

consequent

(=> (employs ?EMPLOYEE ?ORG) (exists (?AREA) (and (located ?ORG ?AREA) (basedIn ?EMPLOYEE ?ORG ?AREA))))	TravelPolicies.kif 373-378	If X employs Y, then there exists Z such that Y is located at Z, basedIn X, Y, and Z
(=> (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 (WhenFn ?WORK) (not (and (basedIn ?HUMAN ?ORG ?AREA) (located ?WORK ?AREA))))))))))	TravelPolicies.kif 384-401	If X is an instance of BusinessTrip, then there exist Y, Z,, , W and V such that Y is an instance of trip and Z is an agent of Y and an agent that is an organization representative (in some transaction) Z and W and Y has the purpose there exists U such that U is an instance of working and Z is an agent of U and ~{ basedIn Z, W and V } or ~{ U is located at V } holds during the time of existence of U