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
potentialCustomer
Sigma KEE - potentialCustomer
potentialCustomer
appearance as argument number 1
(
documentation
potentialCustomer
EnglishLanguage
"(
potentialCustomer
?CUST ?AGENT) means that it is a possibility for ?CUST to participate in a financial transaction with ?AGENT in exchange for goods or services")
Dining.kif 804-806
(
domain
potentialCustomer
1
CognitiveAgent
)
Dining.kif 807-807
Le nombre 1 argument de
potentialCustomer
est une
instance
de
agent cognitif
(
domain
potentialCustomer
2
AutonomousAgent
)
Dining.kif 808-808
Le nombre 2 argument de
potentialCustomer
est une
instance
de
AutonomousAgent
(
instance
potentialCustomer
BinaryPredicate
)
Dining.kif 803-803
potentialCustomer
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
potentialCustomer
"%1 是个 potential
customer
对于 %2 ")
domainEnglishFormat.kif 4186-4186
(
format
ChineseTraditionalLanguage
potentialCustomer
"%1 是個 potential
customer
對於 %2 ")
domainEnglishFormat.kif 4185-4185
(
format
EnglishLanguage
potentialCustomer
"%1 is a potential
customer
for %2")
domainEnglishFormat.kif 4184-4184
(
termFormat
EnglishLanguage
potentialCustomer
"potential customer")
domainEnglishFormat.kif 65912-65912
antecedent
(=>
(
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
AutonomousAgent
est une
instance
de
AutonomousAgent
potentialCustomer
agent cognitif
and
AutonomousAgent
l'argument
entit�
est une
instance
de
Reserving
entit�
aboutit
�
AutonomousAgent
a la
force
modale
de
Necessity
la
probabilit
� de
entit�
ES1
entit�
ES1 est une
instance
de
Reservation
reservingEntity
agent cognitif
and
entit�
ES1
fulfillingEntity
AutonomousAgent
and
entit�
ES1 pourvu que
customer
agent cognitif
and
AutonomousAgent
vaut
nombre r�el
la
probabilit
� de
entit�
ES2
entit�
ES2 est une
instance
de
Reservation
reservingEntity
agent cognitif
and
entit�
ES2
fulfillingEntity
AutonomousAgent
and
entit�
ES2 pourvu que
customer
agent cognitif
and
AutonomousAgent
vaut
nombre r�el
nombre r�el
est
moins
que
nombre r�el
(=>
(
potentialCustomer
?CUST ?AGENT)
(
exists
(?P ?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
patient
?SELLING ?P)
(
inScopeOfInterest
?CUST ?P))))
Dining.kif 810-817
potentialCustomer
agent cognitif
and
AutonomousAgent
entit�
processus
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
agent cognitif
est
interess
� par
entit�
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
potentialCustomer
agent cognitif
and
AutonomousAgent
l'argument
customer
agent cognitif
and
AutonomousAgent
a la
force
modale
de
Possibility
consequent
(=>
(
and
(
instance
?R
Reserving
)
(
agent
?R ?CUST)
(
destination
?R ?AGENT))
(
potentialCustomer
?CUST ?AGENT))
Dining.kif 762-767
Processus
est une
instance
de
Reserving
processus
est un
agent
de
agent cognitif
processus
aboutit
�
AutonomousAgent
potentialCustomer
agent cognitif
and
AutonomousAgent
(=>
(
and
(
numberAdultOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
HumanAdult
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2883-2892
numberAdultOccupant
HotelReservation
and
nombre entier
fulfillingEntity
AutonomousAgent
and
HotelReservation
collection
collection
est une
instance
de
GroupOfPeople
memberType
collection
and
HumanAdult
memberCount
collection
and
nombre entier
potentialCustomer
collection
and
AutonomousAgent
(=>
(
and
(
numberChildOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?SUBCOL)
(
and
(
instance
?COL
GroupOfPeople
)
(
subCollection
?SUBCOL ?COL)
(
instance
?SUBCOL
GroupOfPeople
)
(
memberType
?SUBCOL
HumanChild
)
(
memberCount
?SUBCOL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2903-2914
numberChildOccupant
HotelReservation
and
nombre entier
fulfillingEntity
AutonomousAgent
and
HotelReservation
collection
collection
collection
est une
instance
de
GroupOfPeople
collection
est une
sous
-collection appartenant �
collection
collection
est une
instance
de
GroupOfPeople
memberType
collection
and
HumanChild
memberCount
collection
and
nombre entier
potentialCustomer
collection
and
AutonomousAgent
(=>
(
and
(
numberOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
Human
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2864-2873
numberOccupant
HotelReservation
and
nombre entier
fulfillingEntity
AutonomousAgent
and
HotelReservation
collection
collection
est une
instance
de
GroupOfPeople
memberType
collection
and
humain
memberCount
collection
and
nombre entier
potentialCustomer
collection
and
AutonomousAgent
(=>
(
and
(
numberOfCustomers
?NUM ?RESERVE)
(
fulfillingEntity
?AGENT ?RESERVE)
(
reservingEntity
?CUST ?RESERVE))
(
exists
(?GRP)
(
and
(
potentialCustomer
?GRP ?AGENT)
(
instance
?GRP
GroupOfPeople
)
(
member
?CUST ?GRP)
(
memberCount
?GRP ?NUM))))
Dining.kif 732-742
numberOfCustomers
nombre entier positif
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
collection
potentialCustomer
collection
and
AutonomousAgent
collection
est une
instance
de
GroupOfPeople
AutonomousAgent
est un
membre
de
collection
memberCount
collection
and
nombre entier positif
(=>
(
and
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
numberSeniorOccupant
HotelReservation
and
nombre entier
fulfillingEntity
AutonomousAgent
and
HotelReservation
collection
nombre r�el
collection
est une
instance
de
GroupOfPeople
physique
physique
est un
membre
de
collection
physique
est une
instance
de
HumanAdult
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 60
memberCount
collection
and
nombre entier
potentialCustomer
collection
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