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
fulfillingEntity
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
fulfillingEntity
2
Reservation
)
Dining.kif 687-687
fulfillingEntity
の数値 2 引数は
Reservation
の
instance
では %n
(
instance
fulfillingEntity
BinaryPredicate
)
Dining.kif 682-682
fulfillingEntity
は
2進述語
の
instance
では %n
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
は
HotelReservation
の
instance
では %n
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
(=>
(
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
は
AutonomousAgent
の
instance
では %n
potentialCustomer
認識エージェント
and
AutonomousAgent
ステートメント
エンティティー
は
Reserving
の
instance
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} には
Necessity
の
modal
force
が ある
customer
認識エージェント
and
AutonomousAgent
が
実数
では 場合の
エンティティー
ES1
エンティティー
ES1 は
Reservation
の
instance
では %n
reservingEntity
認識エージェント
and
エンティティー
ES1
fulfillingEntity
AutonomousAgent
and
エンティティー
ES1 の
probability
customer
認識エージェント
and
AutonomousAgent
が
実数
では 場合の
エンティティー
ES2
エンティティー
ES2 は
Reservation
の
instance
では %n
reservingEntity
認識エージェント
and
エンティティー
ES2
fulfillingEntity
AutonomousAgent
and
エンティティー
ES2 の
probability
実数
は
実数
より
less
では %n
(=>
(
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
整数
fulfillingEntity
AutonomousAgent
and
HotelReservation
コレクション
コレクション
は
GroupOfPeople
の
instance
では %n
memberType
コレクション
and
HumanAdult
memberCount
コレクション
and
整数
potentialCustomer
コレクション
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
整数
fulfillingEntity
AutonomousAgent
and
HotelReservation
コレクション
コレクション
コレクション
は
GroupOfPeople
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
GroupOfPeople
の
instance
では %n
memberType
コレクション
and
HumanChild
memberCount
コレクション
and
整数
potentialCustomer
コレクション
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
整数
fulfillingEntity
AutonomousAgent
and
HotelReservation
コレクション
コレクション
は
GroupOfPeople
の
instance
では %n
memberType
コレクション
and
人[人間]
memberCount
コレクション
and
整数
potentialCustomer
コレクション
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
正の整数
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
コレクション
potentialCustomer
コレクション
and
AutonomousAgent
コレクション
は
GroupOfPeople
の
instance
では %n
AutonomousAgent
は
コレクション
の
member
では %n
memberCount
コレクション
and
正の整数
(=>
(
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
整数
fulfillingEntity
AutonomousAgent
and
HotelReservation
コレクション
実数
コレクション
は
GroupOfPeople
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
HumanAdult
の
instance
では %n
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は 60
greater
では %n
memberCount
コレクション
and
整数
potentialCustomer
コレクション
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
時点
and
Reservation
reservationEnd
時点
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
ステートメント
エンティティー
エンティティー
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} は
時点
と
時点
の
interval
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
fulfillingEntity
?ENTITY ?RESERVE)
(
exists
(?P)
(
and
(
instance
?P
Reserving
)
(
destination
?P ?ENTITY)
(
result
?P ?RESERVE))))
Dining.kif 689-695
fulfillingEntity
AutonomousAgent
and
Reservation
工程
工程
は
Reserving
の
instance
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
Reservation
は
工程
の
result
では %n
consequent
(=>
(
instance
?R
DiningReservation
)
(
exists
(?AGENT)
(
and
(
fulfillingEntity
?AGENT ?R)
(
instance
?AGENT
Restaurant
))))
Dining.kif 749-754
Reservation
は
DiningReservation
の
instance
では %n
AutonomousAgent
fulfillingEntity
AutonomousAgent
and
Reservation
AutonomousAgent
は
Restaurant
の
instance
では %n
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