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
total
Sigma KEE - total
total
appearance as argument number 1
(
documentation
total
EnglishLanguage
"A binaryPredicate which relates a class of Quantities to their sum.")
UXExperimentalTerms.kif 4537-4538
(
domain
total
1
Class
)
UXExperimentalTerms.kif 4531-4531
Le nombre 1 argument de
total
est une
instance
de
classe
(
domain
total
2
Quantity
)
UXExperimentalTerms.kif 4533-4533
Le nombre 2 argument de
total
est une
instance
de
quantit�
(
instance
total
BinaryPredicate
)
UXExperimentalTerms.kif 4529-4529
total
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
total
"
total
价值在 %1 是 %2 ")
domainEnglishFormat.kif 4794-4794
(
format
ChineseTraditionalLanguage
total
"
total
價值在 %1 是 %2 ")
domainEnglishFormat.kif 4793-4793
(
format
EnglishLanguage
total
"the
total
of values in %1 is %2")
domainEnglishFormat.kif 4792-4792
(
termFormat
EnglishLanguage
total
"total")
UXExperimentalTerms.kif 4535-4535
antecedent
(=>
(
and
(
total
?CLASS ?QUANTITY)
(
instance
?ITEM ?CLASS))
(
instance
?ITEM
Quantity
))
UXExperimentalTerms.kif 4540-4544
total
classe
and
quantit�
entit�
est une
instance
de
classe
entit�
est une
instance
de
quantit�
consequent
(=>
(
and
(
instance
?AUCTIONS
Collection
)
(
forall
(?AUC)
(=>
(
member
?AUC ?AUCTIONS)
(
instance
?AUC
Auctioning
))))
(
exists
(?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
transactionAmount
?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
AuctionGMBFn
?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3202-3215
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
Auctioning
cha�ne sympbolique
entit�
_PURCHASE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_PURCHASE_AMOUNT
AuctionGMBFn
collection
est
entit�
_PURCHASE_AMOUNT
(=>
(
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
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
acheter
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_PURCHASE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_PURCHASE_AMOUNT
GMBFn
collection
est
entit�
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
vendre
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_SALE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_SALE_AMOUNT
GMVFn
collection
est
entit�
_SALE_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