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
Die Zahl 1 Argument von
total
ist ein
fall
von
Class
%n{nicht}
(
domain
total
2
Quantity
)
UXExperimentalTerms.kif 4533-4533
Die Zahl 2 Argument von
total
ist ein
fall
von
Quantity
%n{nicht}
(
instance
total
BinaryPredicate
)
UXExperimentalTerms.kif 4529-4529
total
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
total
Class
and
Quantity
und
Entity
ist ein
fall
von
** Class
%n{nicht},
dann
** Entity
ist ein
fall
von
Quantity
%n{nicht}
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
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
Auctioning
%n{nicht}
,
dann es gibt
SymbolicString
und
entity
_PURCHASE_AMOUNT um
total
die
kategorie
die
** SymbolicString
beschreibt and
** entity
_PURCHASE_AMOUNT und
AuctionGMBFn
** Collection
ist gleich
** entity
_PURCHASE_AMOUNT %n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
Buying
%n{nicht}
und es gibt
Object
um
** Object
ist ein
fall
von
GeopoliticalArea
%n{nicht} und fuer alle
AutonomousAgent
und
Process
wenn
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
Buying
%n{nicht} und
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
befindet
sich an %n{nicht}
,
dann es gibt
SymbolicString
,
entity
, and und
** entity
_PURCHASE_AMOUNT um
total
die
kategorie
die
** SymbolicString
beschreibt and
** ** entity
_PURCHASE_AMOUNT und
GMBFn
** Collection
ist gleich
** ** entity
_PURCHASE_AMOUNT %n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
Selling
%n{nicht}
und es gibt
Object
um
** Object
ist ein
fall
von
GeopoliticalArea
%n{nicht} und fuer alle
AutonomousAgent
und
Process
wenn
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
Buying
%n{nicht} und
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
befindet
sich an %n{nicht}
,
dann es gibt
SymbolicString
,
entity
, and und
** entity
_SALE_AMOUNT um
total
die
kategorie
die
** SymbolicString
beschreibt and
** ** entity
_SALE_AMOUNT und
GMVFn
** Collection
ist gleich
** ** entity
_SALE_AMOUNT %n{nicht}
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