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
IntersectionFn
Sigma KEE - GMBFn
GMBFn
appearance as argument number 1
(
documentation
GMBFn
EnglishLanguage
"The sum of all
transactionAmount
s for a collection of
Buying
s where all the
agent
s of the buyings are in the same
GeopoliticalArea
.")
UXExperimentalTerms.kif 2951-2952
(
domain
GMBFn
1
Collection
)
UXExperimentalTerms.kif 2947-2947
O argumento numero 1 de
GMBFn
e' uma
instancia
de
Colecao
(
instance
GMBFn
UnaryFunction
)
UXExperimentalTerms.kif 2945-2945
GMBFn
e' uma
instancia
de
funcao Unaria
(
range
GMBFn
CurrencyMeasure
)
UXExperimentalTerms.kif 2949-2949
O
contra
-dominio de
GMBFn
e' uma instancia de
Medida de Divisa
appearance as argument number 2
(
format
ChineseLanguage
GMBFn
"%1 的 value ")
domainEnglishFormat.kif 3522-3522
(
format
ChineseTraditionalLanguage
GMBFn
"%1 的 value ")
domainEnglishFormat.kif 3521-3521
(
format
EnglishLanguage
GMBFn
"the value of %1")
domainEnglishFormat.kif 3520-3520
(
termFormat
EnglishLanguage
GMBFn
"gross merchandise bought")
UXExperimentalTerms.kif 2954-2954
antecedent
(=>
(
and
(
instance
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?BUYING ?ITEM))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3239-3259
Colecao
e' uma
instancia
de
Colecao
Numero Real
e' uma
instancia
de
Medida de Divisa
Numero Inteiro
e' uma
instancia
de
Numero Real
Numero Real
e'
igual
a
GMBFn
Colecao
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
ABPFn
Colecao
e'
igual
a
Numero Real
+
Numero Inteiro
consequent
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Comprar
Objeto
Objeto
e' uma
instancia
de
Area Geopolitica
AutonomousAgent
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Comprar
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
Objeto
Sequencia Simbolica
Entidade
and
Entidade
_PURCHASE_AMOUNT
total
a
classe
descrita por
Sequencia Simbolica
and
Entidade
_PURCHASE_AMOUNT
GMBFn
Colecao
e'
igual
a
Entidade
_PURCHASE_AMOUNT
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