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
potentialCustomer
の数値 1 引数は
認識エージェント
の
instance
では %n
(
domain
potentialCustomer
2
AutonomousAgent
)
Dining.kif 808-808
potentialCustomer
の数値 2 引数は
AutonomousAgent
の
instance
では %n
(
instance
potentialCustomer
BinaryPredicate
)
Dining.kif 803-803
potentialCustomer
は
2進述語
の
instance
では %n
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 65912-65912
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
は
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
(=>
(
potentialCustomer
?CUST ?AGENT)
(
exists
(?P ?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
patient
?SELLING ?P)
(
inScopeOfInterest
?CUST ?P))))
Dining.kif 810-817
potentialCustomer
認識エージェント
and
AutonomousAgent
エンティティー
工程
工程
は
販売
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
認識エージェント
は
エンティティー
に
interested
が %n
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
potentialCustomer
認識エージェント
and
AutonomousAgent
ステートメント
customer
認識エージェント
and
AutonomousAgent
には
Possibility
の
modal
force
が ある
consequent
(=>
(
and
(
instance
?R
Reserving
)
(
agent
?R ?CUST)
(
destination
?R ?AGENT))
(
potentialCustomer
?CUST ?AGENT))
Dining.kif 762-767
工程
は
Reserving
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
potentialCustomer
認識エージェント
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
整数
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
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