Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
customer
Sigma KEE - customer
customer
appearance as argument number 1
(
documentation
customer
EnglishLanguage
"A very general relation that exists whenever there is a
FinancialTransaction
between the two
Agent
s such that the first is the
destination
of the
FinancialTransaction
and the second is the
agent
.")
Mid-level-ontology.kif 7722-7725
(
domain
customer
1
CognitiveAgent
)
Mid-level-ontology.kif 7720-7720
顾客
的 1 数量 是
有认知的主事
的
instance
(
domain
customer
2
AutonomousAgent
)
Mid-level-ontology.kif 7721-7721
顾客
的 2 数量 是
施事体
的
instance
(
instance
customer
AsymmetricRelation
)
Mid-level-ontology.kif 7713-7713
顾客
是
非对称关系
的
instance
(
instance
customer
BinaryPredicate
)
Mid-level-ontology.kif 7712-7712
顾客
是
二元谓语
的
instance
(
instance
customer
IrreflexiveRelation
)
Mid-level-ontology.kif 7711-7711
顾客
是
非自反关系
的
instance
(
instance
customer
PartialValuedRelation
)
Mid-level-ontology.kif 7714-7714
顾客
是
部分值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
customer
"%2 %n 是 %1 的
customer
")
domainEnglishFormat.kif 628-628
(
format
ChineseTraditionalLanguage
customer
"%2 %n 是 %1 的
customer
")
domainEnglishFormat.kif 627-627
(
format
EnglishLanguage
customer
"%2 is %n a
customer
of %1")
domainEnglishFormat.kif 626-626
(
subrelation
guest
customer
)
Hotel.kif 55-55
guest
是
顾客
的
subrelation
(
termFormat
ChineseLanguage
customer
"顾客")
domainEnglishFormat.kif 18168-18168
(
termFormat
ChineseTraditionalLanguage
customer
"顧客")
domainEnglishFormat.kif 18167-18167
(
termFormat
EnglishLanguage
customer
"customer")
domainEnglishFormat.kif 18166-18166
antecedent
(<=>
(
customer
?AGENT1 ?AGENT2)
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
FinancialTransaction
)
(
agent
?SERVICE ?AGENT2)
(
destination
?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7727-7733
施事体
是
有认知的主事
的
customer
若且唯若 有存在
过程
这样
那个 过程
是
金融交易
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 有认知的主事
结束
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20601-20623
如果
Waiter
是
有认知的主事
的
attribute
和
那个 有认知的主事
是
人类
的
instance
和
施事体
employs
那个 有认知的主事
和
那个 施事体
是
餐厅
的
instance
和
那个 施事体
是
另一个 有认知的主事
的
customer
和
那个 另外 有认知的主事
是
located
在
客体
和
那个 客体
是
表
的
instance
,
然后 有存在
另一个 客体
,
实体
,, ,
另一个 实体
, and 和
第三 客体
这样
那个 施事体
possesses
那个 第三 客体
和
那个 第三 客体
是
KitchenArea
的
instance
和
那个 另外 客体
是
DiningArea
的
instance
和
那个 客体
是
located
在
那个 另外 客体
和
那个 有认知的主事
的 目的 是
那个 实体
是
携带
的
instance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 第三 客体
是
那个 实体
的源头 和
那个 实体
在
那个 客体
结束 和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
food
for
人类
的
instance
(=>
(
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 153-172
如果
机构
能够担当
主事
的角色做
ValetParking
和
那个 机构
是
有认知的主事
的
customer
和
那个 机构
是
located
在
客体
和
过程
是
到达
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 过程
在
那个 客体
结束,
然后 有存在
人类
这样
那个 人类
在
那个 机构
任职
Valet
和 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
ValetParking
的
instance
和
那个 人类
是
那个 另外 实体
的
agent
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 另外 实体
在
那个 第三 实体
结束 和
那个 第三 实体
是
ParkingRegion
的
instance
的声明 has
可能性
的语气
(=>
(
and
(
customer
?CUST ?AGENT)
(
corkageFee
?AMT ?ITEM ?AGENT)
(
instance
?X ?ITEM)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?X)
(
destination
?B ?CUST)
(
origin
?B ?AGENT))))
(
instance
?D
Drinking
)
(
agent
?D ?CUST)
(
resource
?D ?X))
(
exists
(?C)
(
and
(
instance
?C
Corkage
)
(
agent
?C ?CUST)
(
refers
?C ?X)
(
destination
?C ?AGENT))))
Dining.kif 130-150
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
对
货币测量
收费 在
corkage
为了
有点 客体
和
另一个 客体
是
有点 客体
的
instance
和 不存在
过程
这样
那个 过程
是
购买
的
instance
和
那个 另外 客体
是
那个 过程
的
patient
和
那个 过程
在
那个 有认知的主事
结束 和
那个 施事体
是
那个 过程
的源头 和
另一个 过程
是
饮
的
instance
和
那个 有认知的主事
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
,
然后 有存在
第三 过程
这样
那个 第三 过程
是
Corkage
的
instance
和
那个 有认知的主事
是
那个 第三 过程
的
agent
和
那个 第三 过程
提到
那个 另外 客体
和
那个 第三 过程
在
那个 施事体
结束
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2392-2407
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
employs
另一个 有认知的主事
和
旅客住宿
是
那个 施事体
的
attribute
和
Porter
是
那个 另外 有认知的主事
的
attribute
和
那个 有认知的主事
possesses
客体
和
那个 客体
是
旅行集装箱
的
instance
,
然后 有存在
另一个 客体
和
过程
这样
那个 另外 客体
是
HotelUnit
的
instance
和
那个 过程
是
携带
的
instance
和
那个 另外 有认知的主事
是
那个 过程
的
agent
和
那个 过程
在
那个 另外 客体
结束 或
那个 另外 客体
是
那个 过程
的源头
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
客体
的
subclass
和
实体
是
那个 有点 物理
的
instance
,
然后
那个 施事体
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 实体
是
那个 另外 实体
的
resource
或
那个 实体
是导致
那个 另外 实体
的
instrument
或
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
或
那个 有认知的主事
经历了
那个 另外 实体
的任务
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
过程
的
subclass
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 另外 实体
是
那个 施事体
的财产 的
element
和
那个 施事体
是
那个 实体
的
agent
和
那个 有认知的主事
是
那个 实体
的
patient
和
那个 实体
是
那个 有点 物理
的
instance
或
那个 第三 实体
是
那个 有点 物理
的
instance
和
那个 实体
%n是
那个 第三 实体
的
subProcess
和
那个 实体
是
located
在
那个 另外 实体
的声明 has
可能性
的语气
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
如果
施事体
provides
客体
和
那个 施事体
是
有认知的主事
的
customer
和
实体
是
那个 客体
的
instance
和
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
有意图过程
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
,
然后
那个 施事体
允许
那个 有认知的主事
执行
那个 有认知的主事
uses
那个 实体
的任务 的声明 has
可能性
的语气
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
如果
有点 物理
是
free
对于顾客出租
有点 HotelFunctionRoom
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后
那个 客体
是 对于
那个 施事体
的
price
0
美国美元
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
如果
有点 物理
的使用是对于
施事体
免费 和
过程
是
有点 物理
的
instance
和
那个 施事体
是
有认知的主事
的
customer
和
那个 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
或
那个 有认知的主事
经历了
那个 过程
或
那个 施事体
possesses
那个 过程
和
那个 过程
是
客体
的
instance
和
那个 有认知的主事
uses
那个 过程
,
然后
那个 过程
是 对于
那个 施事体
的
price
0
美国美元
(=>
(
and
(
instance
?A
Agency
)
(
customer
?C ?A))
(
instance
?C
CommercialAgent
))
Mid-level-ontology.kif 7107-7111
如果
施事体
是
机构
的
instance
和
那个 施事体
是
有认知的主事
的
customer
,
然后
那个 有认知的主事
是
商业代理人
的
instance
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
如果
施事体
是
施事体
的
instance
和
有认知的主事
是个
potential
customer
对于
那个 施事体
和
实体
是
Reserving
的
instance
和
那个 实体
在
那个 施事体
结束 的声明 has
必要性
的语气 和 如果
那个 施事体
是
那个 有认知的主事
的
customer
是正确, 那 有存在
那个 实体
ES1 这样
那个 实体
ES1 是
Reservation
的
instance
和
那个 有认知的主事
reserves
那个 实体
ES1 和
那个 施事体
fulfills
那个 实体
ES1 的机率就 是
实数
和 如果
那个 施事体
是
那个 有认知的主事
的
customer
是正确, 那 不存在
那个 实体
ES2 这样
那个 实体
ES2 是
Reservation
的
instance
和
那个 有认知的主事
reserves
那个 实体
ES2 和
那个 施事体
fulfills
那个 实体
ES2 的机率就 是
另一个 实数
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
如果
过程
是
CateringService
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 过程
UST 结束 和
那个 施事体
是
located
在
客体
和
那个 施事体
是
那个 过程
UST 的
customer
和 有存在
另一个 过程
,
实体
, and 和
第三 过程
这样
那个 另外 过程
是
烹饪
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
result
和
那个 实体
是
那个 过程
的
patient
和
那个 第三 过程
是
进食
的
instance
和
那个 过程
UST 是
那个 第三 过程
的
agent
和
那个 第三 过程
是
located
在
另一个 客体
,
然后
那个 客体
不
equal
那个 另外 客体
(=>
(
and
(
instance
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7159-7172
如果
有认知的主事
是
HealthInsuranceCompany
的
instance
和
施事体
是
那个 有认知的主事
的
customer
,
然后
那个 施事体
在
那个 有认知的主事
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
诊断过程
的
instance
或
那个 实体
是
治疗过程
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 另外 实体
是
付款
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 另外 实体
提到
那个 实体
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
如果
施事体
是
餐厅
的
instance
和
客体
是
饭厅
的
instance
和
PrivateAttribute
是
那个 客体
的
attribute
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
有认知的主事
的
customer
和
过程
是
进食
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 有认知的主事
是
一群人
的
instance
,
然后 不存在
实体
和
另一个 实体
这样
那个 施事体
是
那个 实体
的
customer
和
那个 有认知的主事
不
equal
那个 实体
和
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 另外 实体
是
located
在
那个 客体
在
那个 过程
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?STORE
WholesaleStore
)
(
customer
?CUSTOMER ?STORE))
(
instance
?CUSTOMER
CommercialAgent
))
Mid-level-ontology.kif 7758-7762
如果
施事体
是
批发商店
的
instance
和
那个 施事体
是
有认知的主事
的
customer
,
然后
那个 有认知的主事
是
商业代理人
的
instance
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
如果
有点 HotelFunctionRoom
的 承租人 能
pay
去使用
有点 物理
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后 有存在
实数
和
测量单位
这样
那个 客体
是 对于
那个 施事体
的
price
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
是
greaterThan
0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
如果
施事体
的 承租人 能
pay
去使用
有点 物理
和
过程
是
有点 物理
的
instance
和
那个 施事体
是
有认知的主事
的
customer
和
那个 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
或
那个 有认知的主事
经历了
那个 过程
或
那个 施事体
possesses
那个 过程
和
那个 过程
是
客体
的
instance
和
那个 有认知的主事
uses
那个 过程
,
然后 有存在
实数
和
测量单位
这样
那个 过程
是 对于
那个 施事体
的
price
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
是
greaterThan
0
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
如果
有认知的主事
possesses
客体
和
那个 有认知的主事
是
商业代理人
的
instance
和
那个 客体
是
停车场
的
instance
和
另一个 客体
是
建筑物
的
instance
和
那个 有认知的主事
是
located
在
那个 另外 客体
和
施事体
是
那个 有认知的主事
的
customer
和
那个 施事体
是
located
在
那个 另外 客体
在
时间位置
holdsDuring
和
过程
是
驾驶
的
instance
和
实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 另外 客体
结束,
然后
那个 有认知的主事
允许
那个 施事体
执行
另一个 实体
是
保存
的
instance
和
那个 另外 实体
在
那个 客体
结束 和
那个 实体
是
那个 另外 实体
的
patient
的任务 在
那个 时间位置
holdsDuring
consequent
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
如果
有认知的主事
持有
account
金融账户
和
那个 金融账户
是被
金融机构
held
,
然后
那个 金融机构
是
那个 有认知的主事
的
customer
(=>
(
and
(
instance
?POLICY
ChildrenPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?CUST1)
(
and
(
customer
?CUST1 ?AGENT)
(
instance
?CUST1
HumanChild
)))
Possibility
))
(
containsInformation
?POLICY
(
not
(
modalAttribute
(
exists
(?CUST2)
(
and
(
customer
?CUST2 ?AGENT)
(
instance
?CUST2
HumanChild
)))
Possibility
)))))
Hotel.kif 2535-2553
如果
Policy
是
ChildrenPolicy
的
instance
和
机构
enacts
policy
那个 Policy
和
那个 Policy
covers
客体
,
然后
那个 Policy
contains
有存在
实体
这样
那个 机构
是
那个 实体
的
customer
和
那个 实体
是
人类的孩子
的
instance
的声明 has
可能性
的语气 的资料 或
那个 Policy
contains
有存在
另一个 实体
这样
那个 机构
是
那个 另外 实体
的
customer
和
那个 另外 实体
是
人类的孩子
的
instance
的声明 doesn't have
可能性
的语气 的资料
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
如果
施事体
是
餐厅
的
instance
和
客体
是
饭厅
的
instance
和
PrivateAttribute
是
那个 客体
的
attribute
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
有认知的主事
的
customer
和
过程
是
进食
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 有认知的主事
是
一群人
的
instance
,
然后 不存在
实体
和
另一个 实体
这样
那个 施事体
是
那个 实体
的
customer
和
那个 有认知的主事
不
equal
那个 实体
和
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 另外 实体
是
located
在
那个 客体
在
那个 过程
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9711-9720
如果
乘用车租赁
是
客体
的
attribute
,
然后
那个 客体
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 客体
是
那个 第三 实体
的
customer
和
那个 另外 实体
是
汽车
的
instance
和
那个 实体
是
租
的
instance
和
那个 客体
possesses
那个 另外 实体
和
那个 第三 实体
是
那个 实体
的
agent
(=>
(
dressCode
?CODE ?AGENT)
(
modalAttribute
(
exists
(?OUTFIT ?T)
(
and
(
instance
?OUTFIT
Outfit
)
(
subjectiveAttribute
?OUTFIT ?CODE ?AGENT)
(
holdsDuring
?T
(
forall
(?CUST ?ITEM)
(
and
(
customer
?CUST ?AGENT)
(
locatedAtTime
?CUST ?T ?AGENT)
(
member
?ITEM ?OUTFIT)
(
wears
?CUST ?ITEM))))))
Obligation
))
Dining.kif 492-505
如果
施事体
要求顾客去穿
AmbienceAttribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
Outfit
的
instance
和
那个 施事体
believes
那个 实体
是
那个 AmbienceAttribute
和 对所有
第三 实体
和
第四 实体
那个 施事体
是
那个 第三 实体
的
customer
和
那个 第三 实体
对于
那个 施事体
在时间
那个 另外 实体
located
和
那个 第四 实体
是
那个 实体
的
member
和
那个 第三 实体
wears
那个 第四 实体
在
那个 另外 实体
holdsDuring
的声明 has
义务
的语气
(=>
(
instance
?C
CruiseShip
)
(
hasPurpose
?C
(
exists
(?E ?A ?O)
(
and
(
instance
?E
RecreationOrExercise
)
(
possesses
?O ?C)
(
agent
?E ?A)
(
customer
?O ?A)
(
eventLocated
?E ?C)))))
Transportation.kif 2471-2480
如果
物理
是
游轮
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
娱乐或锻炼
的
instance
和
那个 第三 实体
possesses
那个 物理
和
那个 另外 实体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 第三 实体
的
customer
和
那个 实体
是
located
在
那个 物理
(=>
(
instance
?CHECK
CheckInService
)
(
exists
(?AGENT ?CUST ?GREET ?SERVICE)
(
and
(
customer
?CUST ?AGENT)
(
serviceProvider
?CHECK ?AGENT)
(
instance
?GREET
Greeting
)
(
agent
?GREET ?CUST)
(
destination
?GREET ?AGENT)
(
subProcess
?GREET ?CHECK)
(
instance
?SERVICE
Process
)
(
agent
?SERVICE ?AGENT)
(
causes
?CHECK ?SERVICE))))
Hotel.kif 2154-2166
如果
服务
是
CheckInService
的
instance
,
然后 有存在
有认知的主事
,
另一个 有认知的主事
,, ,
过程
, and 和
另一个 过程
这样
那个 有认知的主事
是
那个 另外 有认知的主事
的
customer
和
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 过程
是
欢迎
的
instance
和
那个 另外 有认知的主事
是
那个 过程
的
agent
和
那个 过程
在
那个 有认知的主事
结束 和
那个 过程
%n是
那个 服务
的
subProcess
和
那个 另外 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 另外 过程
的
agent
和
那个 服务
causes
那个 另外 过程
(=>
(
instance
?SVC
RoomService
)
(
exists
(?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
(
and
(
customer
?CUSTOMER ?AGENT)
(
agent
?SVC ?AGENT)
(
instance
?RQST
Requesting
)
(
agent
?RQST ?CUSTOMER)
(
patient
?RQST ?ORDER)
(
represents
?ORDER ?FOOD)
(
instance
?FOOD
PreparedFood
)
(
located
?CUSTOMER ?LOC)
(
instance
?LOC
HotelUnit
)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?FOOD)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?RQST))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1969-1987
如果
过程
是
RoomService
的
instance
,
然后 有存在
施事体
,
实体
,, ,
有认知的主事
,, ,
另一个 过程
,, ,
另一个 实体
,, ,
第三 过程
, and 和
客体
这样
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 过程
是
要求
的
instance
和
那个 有认知的主事
是
那个 另外 过程
的
agent
和
那个 另外 实体
是
那个 另外 过程
的
patient
和
那个 另外 实体
表达
那个 实体
和
那个 实体
是
已准备食物
的
instance
和
那个 有认知的主事
是
located
在
那个 客体
和
那个 客体
是
HotelUnit
的
instance
和
那个 第三 过程
是
DeliveryService
的
instance
和
那个 实体
是
那个 第三 过程
的
patient
和
那个 第三 过程
在
那个 客体
结束 和
那个 另外 过程
出现 的
time
的开始%n在
那个 第三 过程
出现 的
time
的开始
before
发生
(=>
(
instance
?SVC
TransportationService
)
(
exists
(?VEHICLE ?AGENT ?TRANS ?CUST)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
customer
?CUST ?AGENT)
(
instance
?VEHICLE
Vehicle
)
(
instance
?TRANS
Transportation
)
(
agent
?TRANS ?AGENT)
(
patient
?TRANS ?CUST)
(
instrument
?TRANS ?VEHICLE)
(
subProcess
?TRANS ?SVC))))
Transportation.kif 3340-3352
如果
过程
是
TransportationService
的
instance
,
然后 有存在
客体
,
施事体
,, ,
另一个 过程
, and 和
有认知的主事
这样
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
车辆
的
instance
和
那个 另外 过程
是
运输
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 有认知的主事
是
那个 另外 过程
的
patient
和
那个 客体
是导致
那个 另外 过程
的
instrument
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
instance
?SVC
ValetLaundryService
)
(
exists
(?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY)
(
and
(
customer
?CUST ?AGENT)
(
stays
?CUST ?LOC)
(
agent
?SVC ?AGENT)
(
instance
?CLOTHES
Clothing
)
(
instance
?PICKUP
Getting
)
(
located
?PICKUP ?LOC)
(
patient
?PICKUP ?CLOTHES)
(
agent
?PICKUP ?AGENT)
(
or
(
instance
?LAUNDRY
LaundryService
)
(
instance
?LAUNDRY
DryCleaningService
))
(
agent
?LAUNDRY ?AGENT)
(
patient
?LAUNDRY ?CLOTHES)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?CLOTHES)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?PICKUP))
(
BeginFn
(
WhenFn
?LAUNDRY)))
(
before
(
BeginFn
(
WhenFn
?LAUNDRY))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1827-1848
如果
过程
是
ValetLaundryService
的
instance
,
然后 有存在
人类
,
施事体
,, ,
暂住
,, ,
实体
,, ,
另一个 过程
,, ,
第三 过程
, and 和
第四 过程
这样
那个 施事体
是
那个 人类
的
customer
和
那个 人类
stays
在
那个 暂住
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
服装
的
instance
和
那个 第三 过程
是
获得
的
instance
和
那个 第三 过程
是
located
在
那个 暂住
和
那个 实体
是
那个 第三 过程
的
patient
和
那个 施事体
是
那个 第三 过程
的
agent
和
那个 另外 过程
是
LaundryService
的
instance
或
那个 另外 过程
是
DryCleaningService
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 第四 过程
是
DeliveryService
的
instance
和
那个 实体
是
那个 第四 过程
的
patient
和
那个 第四 过程
在
那个 暂住
结束 和
那个 第三 过程
出现 的
time
的开始%n在
那个 另外 过程
出现 的
time
的开始
before
发生 和
那个 另外 过程
出现 的
time
的开始%n在
那个 第四 过程
出现 的
time
的开始
before
发生
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
如果
有认知的主事
是个
potential
customer
对于
施事体
,
然后
那个 施事体
是
那个 有认知的主事
的
customer
的声明 has
可能性
的语气
(=>
(
standardRetailHours
?TIMEINT ?AGENT)
(
exists
(?FT ?T ?C ?SRH ?NONSRH)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?AGENT)
(
instance
?T ?TIMEINT)
(
destination
?FT ?C)
(
equal
?SRH
(
ProbabilityFn
(
and
(
during
(
WhenFn
?FT) ?T)
(
customer
?C ?AGENT))))
(
equal
?NONSRH
(
ProbabilityFn
(
and
(
not
(
during
(
WhenFn
?FT) ?T))
(
customer
?C ?AGENT))))
(
greaterThan
?SRH ?NONSRH))))
Dining.kif 388-407
如果
standard
retail
hours
对于
施事体
是
有点 时距
,
然后 有存在
过程
,
实体
,, ,
另一个 实体
,, ,
实数
, and 和
另一个 实数
这样
那个 过程
是
金融交易
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
有点 时距
的
instance
和
那个 过程
在
那个 另外 实体
结束 和
那个 实数
equal
那个 过程
出现 的
time
在
那个 实体
时段内发生 和
那个 施事体
是
那个 另外 实体
的
customer
的机率 和
那个 另外 实数
equal
那个 过程
出现 的
time
doesn't 在
那个 实体
时段内发生 和
那个 施事体
是
那个 另外 实体
的
customer
的机率 和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
standardRetailHours
?TIMEINT ?AGENT)
(
exists
(?S ?T ?C)
(
and
(
instance
?S
Selling
)
(
instance
?T ?TIMEINT)
(
agent
?S ?AGENT)
(
customer
?C ?AGENT)
(
during
(
WhenFn
?S) ?T))))
Dining.kif 373-382
如果
standard
retail
hours
对于
施事体
是
有点 时距
,
然后 有存在
过程
,
另一个 时距
, and 和
有认知的主事
这样
那个 过程
是
出售
的
instance
和
那个 另外 时距
是
有点 时距
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 过程
出现 的
time
在
那个 另外 时距
时段内发生
(=>
(
thirdPartyProduct
?ART ?ORG ?AG)
(
customer
?ORG ?AG))
ComputingBrands.kif 3945-3947
如果
thirdPartyProduct
人工制品
,
机构
and
施事体
,
然后
那个 施事体
是
那个 机构
的
customer
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