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
Die Zahl 1 Argument von
shortage
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
shortage
3
CurrencyMeasure
)
Mid-level-ontology.kif 30874-30874
Die Zahl 3 Argument von
shortage
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
domain
shortage
4
TimeInterval
)
Mid-level-ontology.kif 30875-30875
Die Zahl 4 Argument von
shortage
ist ein
fall
von
TimeInterval
%n{nicht}
(
domain
shortage
5
Quantity
)
Mid-level-ontology.kif 30876-30876
Die Zahl 5 Argument von
shortage
ist ein
fall
von
Quantity
%n{nicht}
(
domainSubclass
shortage
2
Object
)
Mid-level-ontology.kif 30873-30873
Die Zahl 2 Argument von
shortage
ist eine
teilkategorie
von
Object
%n{nicht}
(
instance
shortage
QuintaryPredicate
)
Mid-level-ontology.kif 30870-30870
shortage
ist ein
fall
von
QuintaryPredicate
%n{nicht}
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
Wenn
shortage
CognitiveAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
und
** Quantity
ist ein
fall
von
Integer
%n{nicht},
dann
** CognitiveAgent
wuenscht es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Buying
%n{nicht} und die
zeit
des Bestehens von
** entity
geschieht
waehrend
** TimeInterval
%n{nicht} und
objectTransferred
** entity
and
** ** entity
und
transactionAmount
** entity
and
** CurrencyMeasure
und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** entity
ist ein
fall
von
Collection
%n{nicht} und
memberType
** ** entity
and
** Object
und
memberCount
** ** entity
and
** Quantity
und
** CognitiveAgent
besitzt
** ** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
shortage
CognitiveAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
und
** Quantity
ist ein
fall
von
Integer
%n{nicht},
dann
** CognitiveAgent
wuenscht es gibt
entity
um
** entity
ist ein
fall
von
Collection
%n{nicht} und
memberType
** entity
and
** Object
und
memberCount
** entity
and
** Quantity
und
** CognitiveAgent
besitzt
** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
shortage
AutonomousAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
Integer
und
** Integer
ist ein
fall
von
Integer
%n{nicht},
dann es gibt nicht
Transfer
und
Collection
um
** Transfer
ist ein
fall
von
Buying
%n{nicht} und die
zeit
des Bestehens von
** Transfer
geschieht
waehrend
** TimeInterval
%n{nicht} und
objectTransferred
** Transfer
and
** Collection
und
transactionAmount
** Transfer
and
** CurrencyMeasure
und
** Transfer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
** Object
und
memberCount
** Collection
and
** Integer
und
** AutonomousAgent
besitzt
** Collection
%n{nicht}
(=>
(
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
Wenn
shortage
CognitiveAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
und
** Quantity
ist ein
fall
von
PhysicalQuantity
%n{nicht},
dann
** CognitiveAgent
wuenscht es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Buying
%n{nicht} und die
zeit
des Bestehens von
** entity
geschieht
waehrend
** TimeInterval
%n{nicht} und
objectTransferred
** entity
and
** ** entity
und
transactionAmount
** entity
and
** CurrencyMeasure
und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** ** entity
ist
** Quantity
%n{nicht} und
** CognitiveAgent
besitzt
** ** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
shortage
CognitiveAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
und
** Quantity
ist ein
fall
von
PhysicalQuantity
%n{nicht},
dann
** CognitiveAgent
wuenscht es gibt
entity
um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** Quantity
%n{nicht} und
** CognitiveAgent
besitzt
** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
shortage
AutonomousAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
PhysicalQuantity
und
** PhysicalQuantity
ist ein
fall
von
PhysicalQuantity
%n{nicht},
dann es gibt nicht
Transfer
und
** Object
um
** Transfer
ist ein
fall
von
Buying
%n{nicht} und die
zeit
des Bestehens von
** Transfer
geschieht
waehrend
** TimeInterval
%n{nicht} und
objectTransferred
** Transfer
and
** ** Object
und
transactionAmount
** Transfer
and
** CurrencyMeasure
und
** Transfer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Object
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** PhysicalQuantity
%n{nicht} und
** AutonomousAgent
besitzt
** ** Object
%n{nicht}
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30878-30884
Wenn
shortage
CognitiveAgent
,
** Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
,
dann
** CognitiveAgent
wuenscht es gibt
entity
um
** entity
ist ein
fall
von
** Object
%n{nicht} und
** CognitiveAgent
besitzt
** entity
%n{nicht} %n{nicht}
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