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
profit
Sigma KEE - profit
profit
appearance as argument number 1
(
documentation
profit
EnglishLanguage
"The positive gain from an investment or business operation after subtracting for all expenses.")
Mid-level-ontology.kif 7604-7605
(
domain
profit
1
FinancialTransaction
)
Mid-level-ontology.kif 7602-7602
The number 1 argument of
profit
is an
instance
of
financial transaction
(
domain
profit
2
CurrencyMeasure
)
Mid-level-ontology.kif 7603-7603
The number 2 argument of
profit
is an
instance
of
currency measure
(
instance
profit
AsymmetricRelation
)
Mid-level-ontology.kif 7600-7600
profit
is an
instance
of
asymmetric relation
(
instance
profit
BinaryPredicate
)
Mid-level-ontology.kif 7601-7601
profit
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
profit
"从 %1 的
profit
是 %2 ")
domainEnglishFormat.kif 4246-4246
(
format
ChineseTraditionalLanguage
profit
"從 %1 的
profit
是 %2 ")
domainEnglishFormat.kif 4245-4245
(
format
EnglishLanguage
profit
"the
profit
from %1 is %2")
domainEnglishFormat.kif 4244-4244
(
termFormat
ChineseLanguage
profit
"利润")
domainEnglishFormat.kif 47624-47624
(
termFormat
ChineseTraditionalLanguage
profit
"利潤")
domainEnglishFormat.kif 47623-47623
(
termFormat
EnglishLanguage
profit
"profit")
domainEnglishFormat.kif 47622-47622
antecedent
(=>
(
and
(
instance
?PSP
ProfitSharingPlan
)
(
accountHolder
?PSP ?H)
(
employs
?O ?H)
(
profit
?A
(
MeasureFn
?P ?U))
(
instance
?U
UnitOfCurrency
)
(
agent
?A ?O))
(
exists
(?C ?PAY)
(
and
(
instance
?PAY
FinancialTransaction
)
(
transactionAmount
?PAY
(
MeasureFn
?C ?U))
(
lessThan
?C ?P)
(
destination
?PAY ?PSP))))
FinancialOntology.kif 1192-1207
If
a financial account
is an
instance
of
profit sharing plan
and
a cognitive agent
holds
account
the financial account
and
an agent
employ
s
the cognitive agent
and the
profit
from
a financial transaction
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and
the agent
is an
agent
of
the financial transaction
,
then there exist
another real number
and
the real number
AY such that
the real number
AY is an
instance
of
financial transaction
and
the other real number
the unit of measure
(s) is a
transaction
amount of
the real number
AY and
the other real number
is
less
than
the real number
and
the real number
AY
end
s up at
the financial account
consequent
(=>
(
instance
?Investing
Investing
)
(
hasPurpose
?Investing
(
exists
(?Profit)
(
profit
?Investing ?Profit))))
FinancialOntology.kif 501-505
If
a physical
is an
instance
of
investing
,
then
the physical
has the purpose there exists
an entity
such that the
profit
from
the physical
is
the entity
(=>
(
instance
?N
NonprofitOrganization
)
(
not
(
hasPurpose
?N
(
exists
(?P)
(
profit
?N ?P)))))
Mid-level-ontology.kif 7612-7617
If
a physical
is an
instance
of
nonprofit organization
,
then
the physical
does not have the purpose there exists
an entity
such that the
profit
from
the physical
is
the entity
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