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
利润
的 1 数量 是
金融交易
的
instance
(
domain
profit
2
CurrencyMeasure
)
Mid-level-ontology.kif 7603-7603
利润
的 2 数量 是
货币测量
的
instance
(
instance
profit
AsymmetricRelation
)
Mid-level-ontology.kif 7600-7600
利润
是
非对称关系
的
instance
(
instance
profit
BinaryPredicate
)
Mid-level-ontology.kif 7601-7601
利润
是
二元谓语
的
instance
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
如果
金融账户
是
利润分享计划
的
instance
和
有认知的主事
持有
account
那个 金融账户
和
施事体
employs
那个 有认知的主事
和 从
金融交易
的
profit
是
实数
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
,
然后 有存在
另一个 实数
和
那个 实数
AY 这样
那个 实数
AY 是
金融交易
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 实数
AY 的
transaction
总额 和
那个 另外 实数
是
lessThan
那个 实数
和
那个 实数
AY 在
那个 金融账户
结束
consequent
(=>
(
instance
?Investing
Investing
)
(
hasPurpose
?Investing
(
exists
(?Profit)
(
profit
?Investing ?Profit))))
FinancialOntology.kif 501-505
如果
物理
是
投资
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样 从
那个 物理
的
profit
是
那个 实体
(=>
(
instance
?N
NonprofitOrganization
)
(
not
(
hasPurpose
?N
(
exists
(?P)
(
profit
?N ?P)))))
Mid-level-ontology.kif 7612-7617
如果
物理
是
非盈利机构
的
instance
,
然后
那个 物理
的 目的 不 是 有存在
实体
这样 从
那个 物理
的
profit
是
那个 实体
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