TreeView Knowledge Base Browser - Valet

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Valet

Valet

appearance as argument number 1

(documentation Valet EnglishLanguage "a %&Valet is a person whose primary occupation it is to park cars for people")	TransportDetail.kif 128-129
(subclass Valet ServicePosition)	TransportDetail.kif 127-127	Valet は ServicePosition の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage Valet "valet")

TransportDetail.kif 130-130

antecedent

(=> (attribute ?H Valet) (hasPurpose ?H (and (instance ?VEHICLE Vehicle) (instance ?PUT Putting) (destination ?PUT ?PARK) (instance ?PARK ParkingRegion) (patient ?PUT ?VEHICLE) (agent ?PUT ?H))))	TransportDetail.kif 136-145	Valet はオブジェクトの attribute では %n オブジェクトはエンティティーは Vehicle の instance では %n エンティティーは置くの instance では %n エンティティーはエンティティーに ends %n{ない} エンティティーは ParkingRegion の instance では %n エンティティーはエンティティーの patient では %n オブジェクトはエンティティーの agent では %n の目的 %n{ない}
(=> (attribute ?H Valet) (occupation ?H (OccupationFn Driving)))	TransportDetail.kif 132-134	Valet は人［人間］の attribute では %n occupation 人［人間］ and OccupationFn 運転

consequent

(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (exists (?VALET) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP ?PARK) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility))))	TransportDetail.kif 157-176	組織は ValetParking を agent として行う capable では %n customer 認識エージェント and 組織組織はオブジェクトに located して %n 工程は Arriving の instance では %n 認識エージェントは工程の agent では %n エンティティーは工程の patient では %n 工程はオブジェクトに ends %n{ない} 人［人間］人［人間］は組織の Valet の position を holds %n{ない} ステートメントエンティティーエンティティーエンティティーは ValetParking の instance では %n 人［人間］はエンティティーの agent では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーに ends %n{ない} エンティティーは ParkingRegion の instance では %n には Possibility の modal force がある
(=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT)))	TransportDetail.kif 152-155	組織は ValetParking を agent として行う capable では %n 人［人間］人［人間］は組織の Valet の position を holds %n{ない}

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 3.0 is open source software produced by Articulate Software and its partners