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
Il numero 1 argomenti di
potentialCustomer
è un
istanza
di
AgenteCognitivo
(
domain
potentialCustomer
2
AutonomousAgent
)
Dining.kif 808-808
Il numero 2 argomenti di
potentialCustomer
è un
istanza
di
AutonomousAgent
(
instance
potentialCustomer
BinaryPredicate
)
Dining.kif 803-803
potentialCustomer
è un'
istanza
di
PredicatoBinario
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 65914-65914
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
è un'
istanza
di
AutonomousAgent
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
l'affermazione
Entit�
è un'
istanza
di
Reserving
Entit�
fine
s in
AutonomousAgent
ha il modello di forza di
Necessity
probabilit
à di
Entit�
ES1
Entit�
ES1 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES1
fulfillingEntity
AutonomousAgent
and
Entit�
ES1 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
probabilit
à di
Entit�
ES2
Entit�
ES2 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES2
fulfillingEntity
AutonomousAgent
and
Entit�
ES2 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
potentialCustomer
?CUST ?AGENT)
(
exists
(?P ?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
patient
?SELLING ?P)
(
inScopeOfInterest
?CUST ?P))))
Dining.kif 810-817
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
Entit�
Processo
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AgenteCognitivo
è
interessato
a
Entit�
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
l'affermazione
customer
AgenteCognitivo
and
AutonomousAgent
ha il modello di forza di
Possibility
consequent
(=>
(
and
(
instance
?R
Reserving
)
(
agent
?R ?CUST)
(
destination
?R ?AGENT))
(
potentialCustomer
?CUST ?AGENT))
Dining.kif 762-767
Processo
è un'
istanza
di
Reserving
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
AutonomousAgent
potentialCustomer
AgenteCognitivo
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
NumeroIntero
fulfillingEntity
AutonomousAgent
and
HotelReservation
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberType
InsiemeConcreto
and
HumanAdult
memberCount
InsiemeConcreto
and
NumeroIntero
potentialCustomer
InsiemeConcreto
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
NumeroIntero
fulfillingEntity
AutonomousAgent
and
HotelReservation
InsiemeConcreto
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberType
InsiemeConcreto
and
HumanChild
memberCount
InsiemeConcreto
and
NumeroIntero
potentialCustomer
InsiemeConcreto
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
NumeroIntero
fulfillingEntity
AutonomousAgent
and
HotelReservation
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberType
InsiemeConcreto
and
Umano
memberCount
InsiemeConcreto
and
NumeroIntero
potentialCustomer
InsiemeConcreto
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
NumeroInteroPositivo
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
InsiemeConcreto
potentialCustomer
InsiemeConcreto
and
AutonomousAgent
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
AutonomousAgent
è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroInteroPositivo
(=>
(
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
NumeroIntero
fulfillingEntity
AutonomousAgent
and
HotelReservation
InsiemeConcreto
NumeroReale
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
HumanAdult
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 60
memberCount
InsiemeConcreto
and
NumeroIntero
potentialCustomer
InsiemeConcreto
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