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 and
AutonomousAgent
(
domain
shortage
3
CurrencyMeasure
)
Mid-level-ontology.kif 30874-30874
域
shortage
, 3 and
CurrencyMeasure
(
domain
shortage
4
TimeInterval
)
Mid-level-ontology.kif 30875-30875
域
shortage
, 4 and
TimeInterval
(
domain
shortage
5
Quantity
)
Mid-level-ontology.kif 30876-30876
域
shortage
, 5 and
Quantity
(
domainSubclass
shortage
2
Object
)
Mid-level-ontology.kif 30873-30873
域子類
shortage
, 2 and
Object
(
instance
shortage
QuintaryPredicate
)
Mid-level-ontology.kif 30870-30870
例
shortage
and
QuintaryPredicate
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
entity
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
Integer
慾望
CognitiveAgent
and
entity
例
entity
and
Collection
Object
是
entity
的
member
類別
Quantity
是
entity
的
member
計數
擁有
CognitiveAgent
and
entity
(=>
(
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
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Integer
例
Integer
and
Integer
Transfer
Collection
例
Transfer
and
Buying
期間
何時
Transfer
and
TimeInterval
objectTransferred
Transfer
and
Collection
CurrencyMeasure
是
Transfer
的
transaction
總額
agent
Transfer
and
AutonomousAgent
例
Collection
and
Collection
Object
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
擁有
AutonomousAgent
and
Collection
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
PhysicalQuantity
慾望
CognitiveAgent
and
entity
entity
例
entity
and
Buying
期間
何時
entity
and
TimeInterval
objectTransferred
entity
and
entity
CurrencyMeasure
是
entity
的
transaction
總額
agent
entity
and
CognitiveAgent
例
entity
and
Object
測量
entity
and
Quantity
擁有
CognitiveAgent
and
entity
(=>
(
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
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
例
Quantity
and
PhysicalQuantity
慾望
CognitiveAgent
and
entity
例
entity
and
Object
測量
entity
and
Quantity
擁有
CognitiveAgent
and
entity
(=>
(
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
,
Object
,
CurrencyMeasure
,
TimeInterval
and
PhysicalQuantity
例
PhysicalQuantity
and
PhysicalQuantity
Transfer
Object
例
Transfer
and
Buying
期間
何時
Transfer
and
TimeInterval
objectTransferred
Transfer
and
Object
CurrencyMeasure
是
Transfer
的
transaction
總額
agent
Transfer
and
AutonomousAgent
例
Object
and
Object
測量
Object
and
PhysicalQuantity
擁有
AutonomousAgent
and
Object
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30878-30884
shortage
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
慾望
CognitiveAgent
and
entity
例
entity
and
Object
擁有
CognitiveAgent
and
entity
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