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
Die Zahl 1 Argument von
potentialCustomer
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
domain
potentialCustomer
2
AutonomousAgent
)
Dining.kif 808-808
Die Zahl 2 Argument von
potentialCustomer
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
potentialCustomer
BinaryPredicate
)
Dining.kif 803-803
potentialCustomer
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
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}
(=>
(
potentialCustomer
?CUST ?AGENT)
(
exists
(?P ?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
patient
?SELLING ?P)
(
inScopeOfInterest
?CUST ?P))))
Dining.kif 810-817
Wenn
potentialCustomer
CognitiveAgent
and
AutonomousAgent
,
dann es gibt
Entity
und
Process
um
** Process
ist ein
fall
von
Selling
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** CognitiveAgent
ist an
** Entity
interessiert
%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
consequent
(=>
(
and
(
instance
?R
Reserving
)
(
agent
?R ?CUST)
(
destination
?R ?AGENT))
(
potentialCustomer
?CUST ?AGENT))
Dining.kif 762-767
Wenn
Process
ist ein
fall
von
Reserving
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
** Process
endet an
AutonomousAgent
%n{nicht},
dann
potentialCustomer
** CognitiveAgent
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
Wenn
numberAdultOccupant
HotelReservation
and
Integer
und
fulfillingEntity
AutonomousAgent
and
** HotelReservation
,
dann es gibt
Collection
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberType
** Collection
and
HumanAdult
und
memberCount
** Collection
and
** Integer
und
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
Wenn
numberChildOccupant
HotelReservation
and
Integer
und
fulfillingEntity
AutonomousAgent
and
** HotelReservation
,
dann es gibt
Collection
und
** Collection
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberType
** ** Collection
and
HumanChild
und
memberCount
** ** Collection
and
** Integer
und
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
Wenn
numberOccupant
HotelReservation
and
Integer
und
fulfillingEntity
AutonomousAgent
and
** HotelReservation
,
dann es gibt
Collection
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberType
** Collection
and
Human
und
memberCount
** Collection
and
** Integer
und
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
Wenn
numberOfCustomers
PositiveInteger
and
Reservation
und
fulfillingEntity
AutonomousAgent
and
** Reservation
und
reservingEntity
** AutonomousAgent
and
** Reservation
,
dann es gibt
Collection
um
potentialCustomer
** Collection
and
** AutonomousAgent
und
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
** ** AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
memberCount
** Collection
and
** PositiveInteger
(=>
(
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
Wenn
numberSeniorOccupant
HotelReservation
and
Integer
und
fulfillingEntity
AutonomousAgent
and
** HotelReservation
,
dann es gibt
Collection
und
RealNumber
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
HumanAdult
%n{nicht} und das
alter
von
** Physical
ist
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
60 %n{nicht}
und
memberCount
** Collection
and
** Integer
und
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