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 basedIn 的 1 数量 是 人类instance
(domain basedIn 2 Organization) TravelPolicies.kif 371-371 basedIn 的 2 数量 是 机构instance
(domain basedIn 3 GeopoliticalArea) TravelPolicies.kif 372-372 basedIn 的 3 数量 是 地缘政治区域instance
(instance basedIn TernaryPredicate) TravelPolicies.kif 373-373 basedIn三元谓语instance
(subrelation basedIn located) TravelPolicies.kif 374-374 basedIn位于subrelation

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