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
fulfillingEntity
Sigma KEE - fulfillingEntity
fulfillingEntity
appearance as argument number 1
(
documentation
fulfillingEntity
EnglishLanguage
"(
fulfillingEntity
?ENTITY ?RESERVE) means that ?ENTITY is the
AutonomousAgent
who will execute the agreement")
Dining.kif 683-685
(
domain
fulfillingEntity
1
AutonomousAgent
)
Dining.kif 686-686
Il numero 1 argomenti di
fulfillingEntity
è un
istanza
di
AutonomousAgent
(
domain
fulfillingEntity
2
Reservation
)
Dining.kif 687-687
Il numero 2 argomenti di
fulfillingEntity
è un
istanza
di
Reservation
(
instance
fulfillingEntity
BinaryPredicate
)
Dining.kif 682-682
fulfillingEntity
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
fulfillingEntity
"%1 fulfills %2 ")
domainEnglishFormat.kif 3502-3502
(
format
ChineseTraditionalLanguage
fulfillingEntity
"%1 fulfills %2 ")
domainEnglishFormat.kif 3501-3501
(
format
EnglishLanguage
fulfillingEntity
"%1 fulfills %2")
domainEnglishFormat.kif 3500-3500
(
termFormat
EnglishLanguage
fulfillingEntity
"fulfilling entity")
domainEnglishFormat.kif 65834-65834
antecedent
(=>
(
and
(
fulfillingEntity
?AGENT ?RESERVE)
(
instance
?RESERVE
HotelReservation
))
(
attribute
?AGENT
TravelerAccommodation
))
Hotel.kif 2847-2851
fulfillingEntity
AutonomousAgent
and
Reservation
Reservation
è un'
istanza
di
HotelReservation
attribute
AutonomousAgent
and
TravelerAccommodation
(=>
(
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
(=>
(
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
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
reservationStart
PuntoTemporale
and
Reservation
reservationEnd
PuntoTemporale
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
l'affermazione
Entit�
Entit�
è un'
istanza
di
ProcessoIntenzionale
Entit�
è un
agente
di
AutonomousAgent
Entit�
fine
s in
AutonomousAgent
vales
durante
intervallo
tra
PuntoTemporale
e
PuntoTemporale
ha il modello di forza di
Likely
(=>
(
fulfillingEntity
?ENTITY ?RESERVE)
(
exists
(?P)
(
and
(
instance
?P
Reserving
)
(
destination
?P ?ENTITY)
(
result
?P ?RESERVE))))
Dining.kif 689-695
fulfillingEntity
AutonomousAgent
and
Reservation
Processo
Processo
è un'
istanza
di
Reserving
Processo
fine
s in
AutonomousAgent
Reservation
è un
risultato
di
Processo
consequent
(=>
(
instance
?R
DiningReservation
)
(
exists
(?AGENT)
(
and
(
fulfillingEntity
?AGENT ?R)
(
instance
?AGENT
Restaurant
))))
Dining.kif 749-754
Reservation
è un'
istanza
di
DiningReservation
AutonomousAgent
fulfillingEntity
AutonomousAgent
and
Reservation
AutonomousAgent
è un'
istanza
di
Restaurant
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