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
Die Zahl 1 Argument von
customer
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
domain
customer
2
AutonomousAgent
)
Mid-level-ontology.kif 7721-7721
Die Zahl 2 Argument von
customer
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
customer
AsymmetricRelation
)
Mid-level-ontology.kif 7713-7713
customer
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
customer
BinaryPredicate
)
Mid-level-ontology.kif 7712-7712
customer
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
customer
IrreflexiveRelation
)
Mid-level-ontology.kif 7711-7711
customer
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
customer
PartialValuedRelation
)
Mid-level-ontology.kif 7714-7714
customer
ist ein
fall
von
PartialValuedRelation
%n{nicht}
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
ist eine
teilrelation
von
customer
(
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
CognitiveAgent
and
AutonomousAgent
genau dann wenn es gibt
Process
um
** Process
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
endet an
** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
Waiter
ist ein
attribut
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Restaurant
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** ** CognitiveAgent
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
Table
%n{nicht},
dann es gibt
** Object
,
entity
,, ,
** entity
, and und
** Object
um
** AutonomousAgent
besitzt
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
KitchenArea
%n{nicht} und
** ** Object
ist ein
fall
von
DiningArea
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
** CognitiveAgent
hat Zweck von
** entity
ist ein
fall
von
Carrying
%n{nicht} und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** entity
beginnet an
** ** Object
%n{nicht} und
** entity
endet an
** Object
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
FoodForFn
Human
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Organization
ist faehig %n{nicht}, in der Rolle
agent
ValetParking
zu tun und
customer
CognitiveAgent
and
** Organization
und
** Organization
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Arriving
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
Object
%n{nicht},
dann es gibt
Human
um
** Human
besetzt die
position
von
Valet
in
** Organization
und die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
ValetParking
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
endet an
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ParkingRegion
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
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
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
corkageFee
CurrencyMeasure
,
** Object
and
** AutonomousAgent
und
** Object
ist ein
fall
von
** Object
%n{nicht} und es gibt nicht
Process
um
** Process
ist ein
fall
von
Buying
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
** CognitiveAgent
%n{nicht} und
** Process
beginnet an
** AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
Drinking
%n{nicht} und
** ** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** Object
ist ein
hilfmittel
fuer
** ** Process
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Corkage
%n{nicht} und
** ** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** Process
umfasst einen
hinweis
auf
** ** Object
und
** ** Process
endet an
** AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
TravelerAccommodation
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
Porter
ist ein
attribut
von
** ** CognitiveAgent
%n{nicht} und
** CognitiveAgent
besitzt
Object
%n{nicht} und
** Object
ist ein
fall
von
TravelContainer
%n{nicht},
dann es gibt
** Object
und
Process
um
** ** Object
ist ein
fall
von
HotelUnit
%n{nicht} und
** Process
ist ein
fall
von
Carrying
%n{nicht} und
** Process
ist der
agent
von
** ** CognitiveAgent
%n{nicht} und
** Process
endet an
** ** Object
%n{nicht} oder
** Process
beginnet an
** ** Object
%n{nicht}
(=>
(
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
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
propertyAmenity
** AutonomousAgent
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
und
Entity
ist ein
fall
von
** ** Physical
%n{nicht},
dann
** AutonomousAgent
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
um
** ** entity
ist ein
fall
von
Process
%n{nicht} und
** Entity
ist ein
hilfmittel
fuer
** ** entity
%n{nicht} oder
** Entity
ist ein
instrument
fuer
** ** entity
%n{nicht} oder
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
propertyAmenity
** AutonomousAgent
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
,
dann die Aussage es gibt
entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} und
** entity
ist ein
fall
von
** ** Physical
%n{nicht} oder
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} und
** entity
ist ein
subProzess
von
** ** entity
und
** entity
befindet
sich an %n{nicht} hat die modale Kraft von
Possibility
(=>
(
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
Wenn
facility
AutonomousAgent
and
Object
und
customer
CognitiveAgent
and
** AutonomousAgent
und
Entity
ist ein
fall
von
** Object
%n{nicht} und
** CognitiveAgent
wuenscht es gibt
** entity
um
** ** entity
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} %n{nicht},
dann die Aussage
** AutonomousAgent
erlaubt
** CognitiveAgent
, die Aufgabe der Art von
** CognitiveAgent
verwendet
** Entity
durchzuf�hren %n{nicht} hat die modale Kraft von
Possibility
(=>
(
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
Wenn
freeFunctionRoomAmenity
** HotelFunctionRoom
and
** Physical
und
Entity
ist ein
fall
von
** HotelFunctionRoom
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht} und
Object
ist ein
fall
von
** Physical
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Object
ist ein
fall
von
Process
%n{nicht} und
** Object
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Object
%n{nicht} oder
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Object
,
dann
price
** Object
, 0
UnitedStatesDollar
(s) and
** AutonomousAgent
(=>
(
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
Wenn
freePropertyAmenity
AutonomousAgent
and
** Physical
und
Process
ist ein
fall
von
** Physical
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
** Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Process
%n{nicht} oder
** AutonomousAgent
besitzt
** Process
%n{nicht} und
** Process
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Process
,
dann
price
** Process
, 0
UnitedStatesDollar
(s) and
** AutonomousAgent
(=>
(
and
(
instance
?A
Agency
)
(
customer
?C ?A))
(
instance
?C
CommercialAgent
))
Mid-level-ontology.kif 7107-7111
Wenn
AutonomousAgent
ist ein
fall
von
Agency
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
,
dann
** CognitiveAgent
ist ein
fall
von
CommercialAgent
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
potentialCustomer
CognitiveAgent
and
** AutonomousAgent
und die Aussage
entity
ist ein
fall
von
Reserving
%n{nicht} und
** entity
endet an
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Necessity
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt
** entity
ES1 um
** entity
ES1 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES1 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES1
RealNumber
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt nicht
** entity
ES2 um
** entity
ES2 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES2 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES2
** RealNumber
,
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
CateringService
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
endet an
** Process
UST %n{nicht} und
** AutonomousAgent
befindet
sich an %n{nicht} und
customer
** Process
UST and
** AutonomousAgent
und es gibt
** Process
,
Entity
, and und
** Process
um
** ** Process
ist ein
fall
von
Cooking
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
resultat
von
** ** Process
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Process
ist ein
fall
von
Eating
%n{nicht} und
** ** Process
ist der
agent
von
** Process
UST %n{nicht} und
eventLocated
** ** Process
and
Object
,
dann
** Object
ist gleich
** Object
nicht
(=>
(
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
Wenn
CognitiveAgent
ist ein
fall
von
HealthInsuranceCompany
%n{nicht} und
customer
** CognitiveAgent
and
AutonomousAgent
,
dann
** CognitiveAgent
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
DiagnosticProcess
%n{nicht} oder
** entity
ist ein
fall
von
TherapeuticProcess
%n{nicht} und
** AutonomousAgent
erfaehrt
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Payment
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** entity
umfasst einen
hinweis
auf
** entity
fuer
** AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
Restaurant
%n{nicht} und
Object
ist ein
fall
von
DiningRoom
%n{nicht} und
PrivateAttribute
ist ein
attribut
von
** Object
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
Process
ist ein
fall
von
Eating
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
GroupOfPeople
%n{nicht},
dann die Aussage es gibt nicht
entity
und
** entity
um
customer
** entity
and
** AutonomousAgent
und
** CognitiveAgent
ist gleich
** entity
nicht und
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht} und
eventLocated
** ** entity
and
** Object
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?STORE
WholesaleStore
)
(
customer
?CUSTOMER ?STORE))
(
instance
?CUSTOMER
CommercialAgent
))
Mid-level-ontology.kif 7758-7762
Wenn
AutonomousAgent
ist ein
fall
von
WholesaleStore
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
,
dann
** CognitiveAgent
ist ein
fall
von
CommercialAgent
%n{nicht}
(=>
(
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
Wenn
paidFunctionRoomAmenity
** HotelFunctionRoom
and
** Physical
und
Entity
ist ein
fall
von
** HotelFunctionRoom
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht} und
Object
ist ein
fall
von
** Physical
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Object
ist ein
fall
von
Process
%n{nicht} und
** Object
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Object
%n{nicht} oder
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Object
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Object
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
paidPropertyAmenity
AutonomousAgent
and
** Physical
und
Process
ist ein
fall
von
** Physical
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
** Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Process
%n{nicht} oder
** AutonomousAgent
besitzt
** Process
%n{nicht} und
** Process
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Process
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Process
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
CognitiveAgent
besitzt
Object
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
CommercialAgent
%n{nicht} und
** Object
ist ein
fall
von
ParkingLot
%n{nicht} und
** Object
ist ein
fall
von
Building
%n{nicht} und
** CognitiveAgent
befindet
sich an %n{nicht} und
customer
** CognitiveAgent
and
AutonomousAgent
und
** AutonomousAgent
befindet
sich an %n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
Process
ist ein
fall
von
Driving
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
endet an
** ** Object
%n{nicht},
dann
** CognitiveAgent
erlaubt
** AutonomousAgent
, die Aufgabe der Art von
** entity
ist ein
fall
von
Keeping
%n{nicht} und
** ** entity
endet an
** Object
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} durchzuf�hren %n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
consequent
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
Wenn
accountHolder
FinancialAccount
and
CognitiveAgent
und
accountAt
** FinancialAccount
and
FinancialOrganization
,
dann
customer
** CognitiveAgent
and
** FinancialOrganization
(=>
(
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
Wenn
Policy
ist ein
fall
von
ChildrenPolicy
%n{nicht} und
policyOwner
Organization
and
** Policy
und
policyLocationCoverage
** Policy
and
Object
,
dann
** Policy
enthaelt Informationen ueber die Aussage es gibt
entity
um
customer
** entity
and
** Organization
und
** entity
ist ein
fall
von
HumanChild
%n{nicht} hat die modale Kraft von
Possibility
oder
** Policy
enthaelt Informationen ueber nicht die Aussage es gibt
** entity
um
customer
** ** entity
and
** Organization
und
** ** entity
ist ein
fall
von
HumanChild
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
Restaurant
%n{nicht} und
Object
ist ein
fall
von
DiningRoom
%n{nicht} und
PrivateAttribute
ist ein
attribut
von
** Object
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
Process
ist ein
fall
von
Eating
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
GroupOfPeople
%n{nicht},
dann die Aussage es gibt nicht
entity
und
** entity
um
customer
** entity
and
** AutonomousAgent
und
** CognitiveAgent
ist gleich
** entity
nicht und
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht} und
eventLocated
** ** entity
and
** Object
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} hat die modale Kraft von
Likely
(=>
(
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
Wenn
PassengerCarRental
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
customer
** ** entity
and
** Object
und
** ** entity
ist ein
fall
von
Automobile
%n{nicht} und
** entity
ist ein
fall
von
Renting
%n{nicht} und
** Object
besitzt
** ** entity
%n{nicht} und
** entity
ist der
agent
von
** ** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
dressCode
AmbienceAttribute
and
AutonomousAgent
,
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Outfit
%n{nicht} und
subjectiveAttribute
** entity
,
** AmbienceAttribute
and
** AutonomousAgent
und fuer alle
** entity
und
** entity
customer
** ** entity
and
** AutonomousAgent
und
locatedAtTime
** ** entity
,
** ** entity
and
** AutonomousAgent
und
** ** entity
ist ein
Mitglied
von
** entity
%n{nicht} und
wears
** ** entity
and
** ** entity
haelt
waehrend
** ** entity
%n{nicht} hat die modale Kraft von
Obligation
(=>
(
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
Wenn
Physical
ist ein
fall
von
CruiseShip
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** ** entity
besitzt
** Physical
%n{nicht} und
** entity
ist der
agent
von
** ** entity
%n{nicht} und
customer
** ** entity
and
** ** entity
und
eventLocated
** entity
and
** Physical
%n{nicht}
(=>
(
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
Wenn
ServiceProcess
ist ein
fall
von
CheckInService
%n{nicht},
dann es gibt
CognitiveAgent
,
** CognitiveAgent
,, ,
Process
, and und
** Process
um
customer
** ** CognitiveAgent
and
** CognitiveAgent
und
serviceProvider
** ServiceProcess
and
** CognitiveAgent
und
** Process
ist ein
fall
von
Greeting
%n{nicht} und
** Process
ist der
agent
von
** ** CognitiveAgent
%n{nicht} und
** Process
endet an
** CognitiveAgent
%n{nicht} und
** Process
ist ein
subProzess
von
** ServiceProcess
und
** ** Process
ist ein
fall
von
Process
%n{nicht} und
** ** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ServiceProcess
verursacht
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
RoomService
%n{nicht},
dann es gibt
AutonomousAgent
,
Entity
,, ,
CognitiveAgent
,, ,
** Process
,, ,
** Entity
,, ,
** Process
, and und
Object
um
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist ein
fall
von
Requesting
%n{nicht} und
** ** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Entity
drueckt
** Entity
aus und
** Entity
ist ein
fall
von
PreparedFood
%n{nicht} und
** CognitiveAgent
befindet
sich an %n{nicht} und
** Object
ist ein
fall
von
HotelUnit
%n{nicht} und
** ** Process
ist ein
fall
von
DeliveryService
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
endet an
** Object
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** ** Process
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
TransportationService
%n{nicht},
dann es gibt
Object
,
AutonomousAgent
,, ,
** Process
, and und
CognitiveAgent
um
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Object
ist ein
fall
von
Vehicle
%n{nicht} und
** ** Process
ist ein
fall
von
Transportation
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** ** Process
%n{nicht} und
** Object
ist ein
instrument
fuer
** ** Process
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
(=>
(
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
Wenn
Process
ist ein
fall
von
ValetLaundryService
%n{nicht},
dann es gibt
Human
,
AutonomousAgent
,, ,
TemporaryResidence
,, ,
Entity
,, ,
** Process
,, ,
** Process
, and und
** Process
um
customer
** Human
and
** AutonomousAgent
und
stays
** Human
and
** TemporaryResidence
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
fall
von
Clothing
%n{nicht} und
** ** Process
ist ein
fall
von
Getting
%n{nicht} und
** ** Process
befindet
sich an %n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist ein
fall
von
LaundryService
%n{nicht} oder
** ** Process
ist ein
fall
von
DryCleaningService
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist ein
fall
von
DeliveryService
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
endet an
** TemporaryResidence
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** ** Process
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** ** Process
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
Wenn
potentialCustomer
CognitiveAgent
and
AutonomousAgent
,
dann die Aussage
customer
** CognitiveAgent
and
** AutonomousAgent
hat die modale Kraft von
Possibility
(=>
(
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
Wenn
standardRetailHours
** TimeInterval
and
AutonomousAgent
,
dann es gibt
Process
,
Entity
,, ,
** Entity
,, ,
RealNumber
, and und
** RealNumber
um
** Process
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
fall
von
** TimeInterval
%n{nicht} und
** Process
endet an
** ** Entity
%n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von die
zeit
des Bestehens von
** Process
geschieht
waehrend
** Entity
%n{nicht} und
customer
** ** Entity
and
** AutonomousAgent
%n{nicht} und
** ** RealNumber
ist gleich die
wahrscheinlichkeit
von die
zeit
des Bestehens von
** Process
geschieht
waehrend
** Entity
nicht und
customer
** ** Entity
and
** AutonomousAgent
%n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
standardRetailHours
** TimeInterval
and
AutonomousAgent
,
dann es gibt
Process
,
** TimeInterval
, and und
CognitiveAgent
um
** Process
ist ein
fall
von
Selling
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
** TimeInterval
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
thirdPartyProduct
?ART ?ORG ?AG)
(
customer
?ORG ?AG))
ComputingBrands.kif 3945-3947
Wenn
thirdPartyProduct
Artifact
,
Organization
and
AutonomousAgent
,
dann
customer
** Organization
and
** AutonomousAgent
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