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 30876-30879
(
domain
shortage
1
AutonomousAgent
)
Mid-level-ontology.kif 30884-30884
The number 1 argument of
shortage
is an
instance
of
agent
(
domain
shortage
3
CurrencyMeasure
)
Mid-level-ontology.kif 30886-30886
The number 3 argument of
shortage
is an
instance
of
currency measure
(
domain
shortage
4
TimeInterval
)
Mid-level-ontology.kif 30887-30887
The number 4 argument of
shortage
is an
instance
of
time interval
(
domain
shortage
5
Quantity
)
Mid-level-ontology.kif 30888-30888
The number 5 argument of
shortage
is an
instance
of
quantity
(
domainSubclass
shortage
2
Object
)
Mid-level-ontology.kif 30885-30885
The number 2 argument of
shortage
is a
subclass
of
object
(
instance
shortage
QuintaryPredicate
)
Mid-level-ontology.kif 30882-30882
shortage
is an
instance
of
quintary predicate
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 30881-30881
(
termFormat
EnglishLanguage
shortage
"shortage")
Mid-level-ontology.kif 30880-30880
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 30956-30971
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
integer
,
then
the cognitive agent
desire
s there exist
an entity
and
another entity
such that
the entity
is an
instance
of
buying
and the
time
of existence of
the entity
takes place
during
the time interval
and the object transferred in
the entity
is
the other entity
and
the currency measure
is a
transaction
amount of
the entity
and
the cognitive agent
is an
agent
of
the entity
and
the other entity
is an
instance
of
collection
and
a kind of object
is a
member
type of
the other entity
and
the quantity
is a
member
count of
the other entity
and
the cognitive agent
possess
es
the other 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 30898-30908
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
integer
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
collection
and
a kind of object
is a
member
type of
the entity
and
the quantity
is a
member
count of
the entity
and
the cognitive agent
possess
es
the 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 30923-30938
If there is a
shortage
of
an integer
of
a kind of object
for
an agent
at
a currency measure
during
a time interval
and
the integer
is an
instance
of
integer
,
then there don't exist
a transfer
and
a collection
such that
the transfer
is an
instance
of
buying
and the
time
of existence of
the transfer
takes place
during
the time interval
and the object transferred in
the transfer
is
the collection
and
the currency measure
is a
transaction
amount of
the transfer
and
the agent
is an
agent
of
the transfer
and
the collection
is an
instance
of
collection
and
a kind of object
is a
member
type of
the collection
and
the integer
is a
member
count of
the collection
and
the agent
possess
es
the 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 30973-30987
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
physical quantity
,
then
the cognitive agent
desire
s there exist
an entity
and
another entity
such that
the entity
is an
instance
of
buying
and the
time
of existence of
the entity
takes place
during
the time interval
and the object transferred in
the entity
is
the other entity
and
the currency measure
is a
transaction
amount of
the entity
and
the cognitive agent
is an
agent
of
the entity
and
the other entity
is an
instance
of
a kind of object
and the
measure
of
the other entity
is
the quantity
and
the cognitive agent
possess
es
the other 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 30912-30921
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
physical quantity
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the quantity
and
the cognitive agent
possess
es
the 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 30940-30954
If there is a
shortage
of
a physical quantity
of
a kind of object
for
an agent
at
a currency measure
during
a time interval
and
the physical quantity
is an
instance
of
physical quantity
,
then there don't exist
a transfer
and
another object
such that
the transfer
is an
instance
of
buying
and the
time
of existence of
the transfer
takes place
during
the time interval
and the object transferred in
the transfer
is
the other object
and
the currency measure
is a
transaction
amount of
the transfer
and
the agent
is an
agent
of
the transfer
and
the other object
is an
instance
of
a kind of object
and the
measure
of
the other object
is
the physical quantity
and
the agent
possess
es
the other object
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30890-30896
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
a kind of object
and
the cognitive agent
possess
es
the 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
