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
Die Zahl 1 Argument von
fulfillingEntity
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
fulfillingEntity
2
Reservation
)
Dining.kif 687-687
Die Zahl 2 Argument von
fulfillingEntity
ist ein
fall
von
Reservation
%n{nicht}
(
instance
fulfillingEntity
BinaryPredicate
)
Dining.kif 682-682
fulfillingEntity
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
fulfillingEntity
AutonomousAgent
and
Reservation
und
** Reservation
ist ein
fall
von
HotelReservation
%n{nicht},
dann
TravelerAccommodation
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
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}
(=>
(
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
(=>
(
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
Wenn
reservationStart
TimePoint
and
Reservation
und
reservationEnd
** TimePoint
and
** Reservation
und
reservingEntity
AutonomousAgent
and
** Reservation
und
fulfillingEntity
** AutonomousAgent
and
** Reservation
,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** entity
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** entity
endet an
** AutonomousAgent
%n{nicht} haelt
waehrend
abstand
zwischen
** TimePoint
und
** ** TimePoint
%n{nicht} hat die modale Kraft von
Likely
(=>
(
fulfillingEntity
?ENTITY ?RESERVE)
(
exists
(?P)
(
and
(
instance
?P
Reserving
)
(
destination
?P ?ENTITY)
(
result
?P ?RESERVE))))
Dining.kif 689-695
Wenn
fulfillingEntity
AutonomousAgent
and
Reservation
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Reserving
%n{nicht} und
** Process
endet an
** AutonomousAgent
%n{nicht} und
** Reservation
ist ein
resultat
von
** Process
%n{nicht}
consequent
(=>
(
instance
?R
DiningReservation
)
(
exists
(?AGENT)
(
and
(
fulfillingEntity
?AGENT ?R)
(
instance
?AGENT
Restaurant
))))
Dining.kif 749-754
Wenn
Reservation
ist ein
fall
von
DiningReservation
%n{nicht},
dann es gibt
AutonomousAgent
um
fulfillingEntity
** AutonomousAgent
and
** Reservation
und
** AutonomousAgent
ist ein
fall
von
Restaurant
%n{nicht}
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