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
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 4738-4739
(
domain
total
1
Class
)
UXExperimentalTerms.kif 4732-4732
The number 1 argument of
total
is an
instance
of
class
(
domain
total
2
Quantity
)
UXExperimentalTerms.kif 4734-4734
The number 2 argument of
total
is an
instance
of
quantity
(
instance
total
BinaryPredicate
)
UXExperimentalTerms.kif 4730-4730
total
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
total
"
total
价值在 %1 是 %2 ")
domainEnglishFormat.kif 4803-4803
(
format
ChineseTraditionalLanguage
total
"
total
價值在 %1 是 %2 ")
domainEnglishFormat.kif 4802-4802
(
format
EnglishLanguage
total
"the
total
of values in %1 is %2")
domainEnglishFormat.kif 4801-4801
(
termFormat
EnglishLanguage
total
"total")
UXExperimentalTerms.kif 4736-4736
antecedent
(=>
(
and
(
total
?CLASS ?QUANTITY)
(
instance
?ITEM ?CLASS))
(
instance
?ITEM
Quantity
))
UXExperimentalTerms.kif 4741-4745
If the
total
of values in
a class
is
a quantity
and
an entity
is an
instance
of
the class
,
then
the entity
is an
instance
of
quantity
consequent
(=>
(
and
(
instance
?AUCTIONS
Collection
)
(
forall
(?AUC)
(=>
(
member
?AUC ?AUCTIONS)
(
instance
?AUC
Auctioning
))))
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?AUCTION
Auctioning
)
(
member
?AUCTION ?AUCTIONS)
(
transactionAmount
?AUCTION ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
AuctionGMBFn
?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3409-3424
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
auction
,
then the
total
of values in the
class
described by
a symbolic string
is
an entity
_PURCHASE_AMOUNT and the
total
purchase
price
of
the collection
is
equal
to
the entity
_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
Agent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
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 3163-3189
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
buying
and there exists
an object
such that
the object
is an
instance
of
geopolitical area
and for all
an agent
and
a process
if
the agent
is an
instance
of
agent
and
the process
is an
instance
of
buying
and
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
,
then
the agent
is
located
at
the object
,
then the
total
of values in the
class
described by
a symbolic string
is
an entity
_PURCHASE_AMOUNT and the
value
of
the collection
is
equal
to
the entity
_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
Agent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
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 3206-3232
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
selling
and there exists
an object
such that
the object
is an
instance
of
geopolitical area
and for all
an agent
and
a process
if
the agent
is an
instance
of
agent
and
the process
is an
instance
of
buying
and
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
,
then
the agent
is
located
at
the object
,
then the
total
of values in the
class
described by
a symbolic string
is
an entity
_SALE_AMOUNT and the
value
of
the collection
is
equal
to
the entity
_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
total