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
grossMerchandiseBoughtInPeriod
Sigma KEE - grossMerchandiseBoughtInPeriod
grossMerchandiseBoughtInPeriod
appearance as argument number 1
(
documentation
grossMerchandiseBoughtInPeriod
EnglishLanguage
"The total
monetaryValue
of all mechandise bought by a given
AutonomousAgent
from an
Organization
in a particular
TimeInterval
.")
ComputerInput.kif 2969-2971
(
domain
grossMerchandiseBoughtInPeriod
1
AutonomousAgent
)
ComputerInput.kif 2964-2964
The number 1 argument of
GMB
is an
instance
of
agent
(
domain
grossMerchandiseBoughtInPeriod
2
Organization
)
ComputerInput.kif 2965-2965
The number 2 argument of
GMB
is an
instance
of
organization
(
domain
grossMerchandiseBoughtInPeriod
3
CurrencyMeasure
)
ComputerInput.kif 2966-2966
The number 3 argument of
GMB
is an
instance
of
currency measure
(
domain
grossMerchandiseBoughtInPeriod
4
TimeInterval
)
ComputerInput.kif 2967-2967
The number 4 argument of
GMB
is an
instance
of
time interval
(
instance
grossMerchandiseBoughtInPeriod
QuaternaryPredicate
)
ComputerInput.kif 2963-2963
GMB
is an
instance
of
quaternary predicate
appearance as argument number 2
(
format
ChineseLanguage
grossMerchandiseBoughtInPeriod
"每个东西的 value 由 %1 购买的 对于 %2 在期间 %4 是 %3 ")
domainEnglishFormat.kif 3554-3554
(
format
ChineseTraditionalLanguage
grossMerchandiseBoughtInPeriod
"每個東西的 value 由 %1 購買的 對於 %2 在期間 %4 是 %3 ")
domainEnglishFormat.kif 3553-3553
(
format
EnglishLanguage
grossMerchandiseBoughtInPeriod
"the value of everything purchased by %1 for %2 during %4 is %3")
domainEnglishFormat.kif 3552-3552
(
termFormat
EnglishLanguage
grossMerchandiseBoughtInPeriod
"GMB")
ComputerInput.kif 2972-2972
antecedent
(=>
(
grossMerchandiseBoughtInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?B
Buying
)
(
instance
?ITEM ?COL)
(
agent
?B ?A)
(
patient
?B ?ITEM)
(
patient
?B ?O)
(
during
?B ?TP))))))
ComputerInput.kif 2974-2986
If the
value
of everything purchased by
an agent
for
an organization
during
a time interval
is
a currency measure
,
then
value
of
a physical
is
the currency measure
and
the physical
is an
instance
of the
class
described by
a symbolic string
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