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
Il numero 1 argomenti di
shortage
è un
istanza
di
AutonomousAgent
(
domain
shortage
3
CurrencyMeasure
)
Mid-level-ontology.kif 30874-30874
Il numero 3 argomenti di
shortage
è un
istanza
di
MisuraMonetaria
(
domain
shortage
4
TimeInterval
)
Mid-level-ontology.kif 30875-30875
Il numero 4 argomenti di
shortage
è un
istanza
di
IntervalloTemporale
(
domain
shortage
5
Quantity
)
Mid-level-ontology.kif 30876-30876
Il numero 5 argomenti di
shortage
è un
istanza
di
Quantit�
(
domainSubclass
shortage
2
Object
)
Mid-level-ontology.kif 30873-30873
Il numero 2 argomento
shortage
è una
sottoclasse
di
Oggetto
(
instance
shortage
QuintaryPredicate
)
Mid-level-ontology.kif 30870-30870
shortage
è un'
istanza
di
PredicatoQuinquenario
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
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
NumeroIntero
AgenteCognitivo
desidera
s
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Entit�
has luogo
durante
IntervalloTemporale
objectTransferred
Entit�
and
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un'
istanza
di
InsiemeConcreto
memberType
Entit�
and
Oggetto
memberCount
Entit�
and
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
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
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
NumeroIntero
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
InsiemeConcreto
memberType
Entit�
and
Oggetto
memberCount
Entit�
and
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
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
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
NumeroIntero
NumeroIntero
è un'
istanza
di
NumeroIntero
Trasferimento
InsiemeConcreto
Trasferimento
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
objectTransferred
Trasferimento
and
InsiemeConcreto
transactionAmount
Trasferimento
and
MisuraMonetaria
Trasferimento
è un
agente
di
AutonomousAgent
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Oggetto
memberCount
InsiemeConcreto
and
NumeroIntero
AutonomousAgent
possiede
es
InsiemeConcreto
(=>
(
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
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
Quantit�Fisica
AgenteCognitivo
desidera
s
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Entit�
has luogo
durante
IntervalloTemporale
objectTransferred
Entit�
and
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
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
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
Quantit�Fisica
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
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
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�Fisica
Quantit�Fisica
è un'
istanza
di
Quantit�Fisica
Trasferimento
Oggetto
Trasferimento
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
objectTransferred
Trasferimento
and
Oggetto
transactionAmount
Trasferimento
and
MisuraMonetaria
Trasferimento
è un
agente
di
AutonomousAgent
Oggetto
è un'
istanza
di
Oggetto
la
misura
Oggetto
è
Quantit�Fisica
AutonomousAgent
possiede
es
Oggetto
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30878-30884
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
possiede
es
Entit�
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