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
O argumento numero 1 de
fulfillingEntity
e' uma
instancia
de
AutonomousAgent
(
domain
fulfillingEntity
2
Reservation
)
Dining.kif 687-687
O argumento numero 2 de
fulfillingEntity
e' uma
instancia
de
Reservation
(
instance
fulfillingEntity
BinaryPredicate
)
Dining.kif 682-682
fulfillingEntity
e' uma
instancia
de
Predicado Binario
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 65836-65836
antecedent
(=>
(
and
(
fulfillingEntity
?AGENT ?RESERVE)
(
instance
?RESERVE
HotelReservation
))
(
attribute
?AGENT
TravelerAccommodation
))
Hotel.kif 2847-2851
fulfillingEntity
AutonomousAgent
and
Reservation
Reservation
e' uma
instancia
de
HotelReservation
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
(=>
(
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
e' uma
instancia
de
AutonomousAgent
potentialCustomer
Agente Cognitivo
and
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Reserving
Entidade
termina
em
AutonomousAgent
tem a
forca
modal
de
Necessity
a
probabilidade
de
Entidade
ES1
Entidade
ES1 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES1
fulfillingEntity
AutonomousAgent
and
Entidade
ES1 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
a
probabilidade
de
Entidade
ES2
Entidade
ES2 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES2
fulfillingEntity
AutonomousAgent
and
Entidade
ES2 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Colecao
e' uma
instancia
de
GroupOfPeople
memberType
Colecao
and
HumanAdult
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
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
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Colecao
Colecao
e' uma
instancia
de
GroupOfPeople
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
GroupOfPeople
memberType
Colecao
and
HumanChild
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
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
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Colecao
e' uma
instancia
de
GroupOfPeople
memberType
Colecao
and
Humano
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
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
Inteiro positivo
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
Colecao
potentialCustomer
Colecao
and
AutonomousAgent
Colecao
e' uma
instancia
de
GroupOfPeople
AutonomousAgent
e'
membro
de
Colecao
memberCount
Colecao
and
Inteiro positivo
(=>
(
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
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Numero Real
Colecao
e' uma
instancia
de
GroupOfPeople
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
HumanAdult
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 60
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
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
Ponto no tempo
and
Reservation
reservationEnd
Ponto no tempo
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
o argumento
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
AutonomousAgent
Entidade
termina
em
AutonomousAgent
vale
durante o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
tem a
forca
modal
de
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
e' uma
instancia
de
Reserving
Processo
termina
em
AutonomousAgent
Reservation
e' o
resultado
de
Processo
consequent
(=>
(
instance
?R
DiningReservation
)
(
exists
(?AGENT)
(
and
(
fulfillingEntity
?AGENT ?R)
(
instance
?AGENT
Restaurant
))))
Dining.kif 749-754
Reservation
e' uma
instancia
de
DiningReservation
AutonomousAgent
fulfillingEntity
AutonomousAgent
and
Reservation
AutonomousAgent
e' uma
instancia
de
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