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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (employs ?EMPLOYEE ?ORG)
    (exists (?AREA)
            (located ?ORG ?AREA)
            (basedIn ?EMPLOYEE ?ORG ?AREA))))
TravelPolicies.kif 376-381
    (instance ?T BusinessTrip)
    (exists (?TRIP ?HUMAN ?ORG ?AREA)
            (instance ?TRIP Trip)
            (agent ?TRIP ?HUMAN)
            (organizationRepresentative ?HUMAN ?ORG)
            (hasPurpose ?TRIP
                (exists (?WORK)
                        (instance ?WORK Working)
                        (agent ?WORK ?HUMAN)
                        (holdsDuring ?WORK ?TRIP))))
                    (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