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
shortage
Sigma KEE - shortage
shortage
appearance as argument number 1
(
documentation
shortage
EnglishLanguage
"A relation between an
AutonomousAgent
and a number of instances or a quantity of a class of
Object
at a particular price or cost. The cost should include transport from the
origin
to the
agent
.")
Mid-level-ontology.kif 30864-30867
(
domain
shortage
1
AutonomousAgent
)
Mid-level-ontology.kif 30872-30872
shortage
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
shortage
3
CurrencyMeasure
)
Mid-level-ontology.kif 30874-30874
shortage
の数値 3 引数は
通貨測定
の
instance
では %n
(
domain
shortage
4
TimeInterval
)
Mid-level-ontology.kif 30875-30875
shortage
の数値 4 引数は
時間間隔
の
instance
では %n
(
domain
shortage
5
Quantity
)
Mid-level-ontology.kif 30876-30876
shortage
の数値 5 引数は
量
の
instance
では %n
(
domainSubclass
shortage
2
Object
)
Mid-level-ontology.kif 30873-30873
shortage
の数値 2 引数は
オブジェクト
の
subclass
では %n
(
instance
shortage
QuintaryPredicate
)
Mid-level-ontology.kif 30870-30870
shortage
は
5進述語
の
instance
では %n
appearance as argument number 2
(
format
EnglishLanguage
shortage
"there is a
shortage
of %5 of %2 for %1 at %3 during %4")
Mid-level-ontology.kif 30869-30869
(
termFormat
EnglishLanguage
shortage
"shortage")
Mid-level-ontology.kif 30868-30868
antecedent
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30944-30959
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
整数
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
エンティティー
and
エンティティー
transactionAmount
エンティティー
and
通貨測定
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
コレクション
の
instance
では %n
memberType
エンティティー
and
オブジェクト
memberCount
エンティティー
and
量
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30886-30896
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
整数
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
は
コレクション
の
instance
では %n
memberType
エンティティー
and
オブジェクト
memberCount
エンティティー
and
量
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30911-30926
shortage
AutonomousAgent
,
オブジェクト
,
通貨測定
,
時間間隔
and
整数
整数
は
整数
の
instance
では %n
移動
コレクション
移動
は
購買
の
instance
では %n
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
移動
and
コレクション
transactionAmount
移動
and
通貨測定
AutonomousAgent
は
移動
の
agent
では %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
オブジェクト
memberCount
コレクション
and
整数
AutonomousAgent
は
コレクション
を
possess
es %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30961-30975
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
物理量
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
エンティティー
and
エンティティー
transactionAmount
エンティティー
and
通貨測定
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
量
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30900-30909
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
量
は
物理量
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
量
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %n{ない}
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30928-30942
shortage
AutonomousAgent
,
オブジェクト
,
通貨測定
,
時間間隔
and
物理量
物理量
は
物理量
の
instance
では %n
移動
オブジェクト
移動
は
購買
の
instance
では %n
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
objectTransferred
移動
and
オブジェクト
transactionAmount
移動
and
通貨測定
AutonomousAgent
は
移動
の
agent
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
の
measure
は
物理量
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30878-30884
shortage
認識エージェント
,
オブジェクト
,
通貨測定
,
時間間隔
and
量
認識エージェント
が
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない} を
desire
s %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