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
Die Zahl 1 Argument von
profit
ist ein
fall
von
FinancialTransaction
%n{nicht}
(
domain
profit
2
CurrencyMeasure
)
Mid-level-ontology.kif 7603-7603
Die Zahl 2 Argument von
profit
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
instance
profit
AsymmetricRelation
)
Mid-level-ontology.kif 7600-7600
profit
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
profit
BinaryPredicate
)
Mid-level-ontology.kif 7601-7601
profit
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
FinancialAccount
ist ein
fall
von
ProfitSharingPlan
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
profit
FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann es gibt
** RealNumber
und
** RealNumber
AY um
** RealNumber
AY ist ein
fall
von
FinancialTransaction
%n{nicht} und
transactionAmount
** RealNumber
AY and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht} und
** RealNumber
AY endet an
** FinancialAccount
%n{nicht}
consequent
(=>
(
instance
?Investing
Investing
)
(
hasPurpose
?Investing
(
exists
(?Profit)
(
profit
?Investing ?Profit))))
FinancialOntology.kif 501-505
Wenn
Physical
ist ein
fall
von
Investing
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
profit
** Physical
and
** entity
%n{nicht}
(=>
(
instance
?N
NonprofitOrganization
)
(
not
(
hasPurpose
?N
(
exists
(?P)
(
profit
?N ?P)))))
Mid-level-ontology.kif 7612-7617
Wenn
Physical
ist ein
fall
von
NonprofitOrganization
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
profit
** Physical
and
** entity
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