Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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
Agent
from an
Organization
in a particular
TimeInterval
.")
ComputerInput.kif 2966-2968
(
domain
grossMerchandiseBoughtInPeriod
1
Agent
)
ComputerInput.kif 2961-2961
(
domain
grossMerchandiseBoughtInPeriod
2
Organization
)
ComputerInput.kif 2962-2962
(
domain
grossMerchandiseBoughtInPeriod
3
CurrencyMeasure
)
ComputerInput.kif 2963-2963
(
domain
grossMerchandiseBoughtInPeriod
4
TimeInterval
)
ComputerInput.kif 2964-2964
(
instance
grossMerchandiseBoughtInPeriod
QuaternaryPredicate
)
ComputerInput.kif 2960-2960
appearance as argument number 2
(
format
ChineseLanguage
grossMerchandiseBoughtInPeriod
"每个东西的 value 由 %1 购买的 对于 %2 在期间 %4 是 %3 ")
domainEnglishFormat.kif 3559-3559
(
format
ChineseTraditionalLanguage
grossMerchandiseBoughtInPeriod
"每個東西的 value 由 %1 購買的 對於 %2 在期間 %4 是 %3 ")
domainEnglishFormat.kif 3558-3558
(
format
EnglishLanguage
grossMerchandiseBoughtInPeriod
"the value of everything purchased by %1 for %2 during %4 is %3")
domainEnglishFormat.kif 3557-3557
(
termFormat
EnglishLanguage
grossMerchandiseBoughtInPeriod
"GMB")
ComputerInput.kif 2969-2969
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 2971-2983
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