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
containsFormula
Sigma KEE - containsFormula
containsFormula
appearance as argument number 1
(
documentation
containsFormula
EnglishLanguage
"The analogue to
containsInformation
for a
Formula
. The
Formula
is contained in or expressed by the
Physical
. This could capture the relation between a stop sign and the fact that it expresses the directive to stop moving momentarily, or that a
Waving
signifies a friendly greeting.")
Merge.kif 1373-1377
(
domain
containsFormula
1
ContentBearingPhysical
)
Merge.kif 1367-1367
containsFormula
的 1 数量 是
内容承载物理
的
instance
(
domain
containsFormula
2
Formula
)
Merge.kif 1368-1368
containsFormula
的 2 数量 是
公式
的
instance
(
instance
containsFormula
BinaryPredicate
)
Merge.kif 1366-1366
containsFormula
是
二元谓语
的
instance
appearance as argument number 2
(
format
EnglishLanguage
containsFormula
"%1 contains the formula %2")
Merge.kif 1371-1371
(
relatedInternalConcept
containsInformation
containsFormula
)
Merge.kif 1369-1369
包含信息
和
containsFormula
是 内部相关
(
termFormat
EnglishLanguage
containsFormula
"contains formula")
Merge.kif 1370-1370
antecedent
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2295-2302
如果
有点 有内用物体
是
党的平台
的
subclass
和
有认知的主事
是
有点 有内用物体
的
authors
和
那个 有认知的主事
是
政治党派
的
instance
和
内容承载物理
是
那个 有点 有内用物体
的
instance
和
containsFormula
那个 内容承载物理
and
公式
,
然后
那个 有认知的主事
believes
那个 公式
consequent
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12092-12108
如果
过程
是
决定
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 实体
是
集合
的
instance
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
内容承载物理
的
instance
,
然后
containsFormula
那个 内容承载物理
and 有存在
另一个 实体
这样
那个 另外 实体
是
那个 实体
的
element
和
那个 另外 实体
是
有意图过程
的
instance
和
那个 施事体
是
那个 另外 实体
的
agent
在
那个 过程
出现 的
time
之后
holdsDuring
(=>
(
and
(
instance
?M
Misdiagnosing
)
(
agent
?M ?D)
(
refers
?M ?P)
(
instance
?P
Human
))
(
exists
(?DIS)
(
and
(
containsFormula
?M
(
attribute
?P ?DIS))
(
instance
?DIS
DiseaseOrSyndrome
)
(
believes
?D
(
attribute
?P ?DIS))
(
truth
(
attribute
?P ?DIS)
False
))))
Medicine.kif 4195-4210
如果
过程
是
Misdiagnosing
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 过程
提到
实体
和
那个 实体
是
人类
的
instance
,
然后 有存在
那个 有认知的主事
IS 这样
containsFormula
那个 过程
and
那个 有认知的主事
IS 是
那个 实体
的
attribute
和
那个 有认知的主事
IS 是
疾病或综合症
的
instance
和
那个 有认知的主事
believes
那个 有认知的主事
IS 是
那个 实体
的
attribute
和
那个 有认知的主事
IS 是
那个 实体
的
attribute
是
假
(=>
(
and
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
如果
内容承载物理
是
出生证明
的
instance
和
过程
是
出生
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
,
然后
containsFormula
那个 内容承载物理
and 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
那个 施事体
的
birthdate
和
那个 实体
是
日
的
instance
和
那个 另外 实体
是
那个 施事体
的
birthplace
和
那个 另外 实体
是
地理区域
的
instance
和
那个 第三 实体
表达
那个 施事体
和
那个 第三 实体
是
Name
的
instance
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
如果
内容承载物理
是
DeathCertificate
的
instance
和
过程
是
死亡
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
,
然后
containsFormula
那个 内容承载物理
and 有存在
那个 过程
AY,
另一个 实体
,, ,
第三 实体
, and 和
那个 另外 实体
ROC 这样
那个 过程
AY 是
那个 施事体
的
deathdate
和
那个 过程
AY 是
日
的
instance
和
那个 另外 实体
是
那个 施事体
的
deathplace
和
那个 另外 实体
是
地理区域
的
instance
和
那个 第三 实体
表达
那个 施事体
和
那个 第三 实体
是
Name
的
instance
和
那个 另外 实体
ROC
causes
那个 过程
和
那个 另外 实体
ROC 是
过程
的
instance
(=>
(
and
(
instance
?TEXT
MarriageCertificate
)
(
instance
?A
Human
)
(
instance
?B
Human
)
(
spouse
?A ?B))
(
containsFormula
?TEXT
(
exists
(?DAY)
(
and
(
weddingdate
?A ?B ?DAY)
(
instance
?DAY
Day
)))))
Biography.kif 307-317
如果
内容承载物理
是
MarriageCertificate
的
instance
和
人类
是
人类
的
instance
和
另一个 人类
是
人类
的
instance
和
那个 人类
是
那个 另外 人类
的
spouse
,
然后
containsFormula
那个 内容承载物理
and 有存在
实体
这样
那个 人类
和
那个 另外 人类
之前是
married
在
那个 实体
和
那个 实体
是
日
的
instance
(=>
(
holdsDuring
?T1
(
prohibits
?A ?F))
(
exists
(?S ?B ?P)
(
and
(
instance
?S
Stating
)
(
during
(
WhenFn
?S) ?T1)
(
agent
?S ?A)
(
containsFormula
?S
(=>
(
causes
(
agent
?P ?B)
(
truth
?F
True
))
(
punishes
?A ?B))))))
Law.kif 65-78
如果
prohibits
施事体
and
实体
在
时距
holdsDuring
,
然后 有存在
过程
,
另一个 实体
, and 和
第三 实体
这样
那个 过程
是
陈述
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
是
那个 过程
的
agent
和
containsFormula
那个 过程
and
如果
那个 另外 实体
是
那个 第三 实体
的
agent
causes
那个 实体
是
真正
,
然后
punishes
那个 施事体
and
那个 另外 实体
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(=>
(
exists
(?S ?PI ?P)
(
and
(
instance
?S
Stating
)
(
containsFormula
?S
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))))
(
modalAttribute
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2))
Likely
))))
Law.kif 400-415
如果
trusts
有认知的主事
,
施事体
and
有点 有意图过程
,
然后
那个 有认知的主事
believes
如果 有存在
实体
,
有点 有意图过程
I, and 和
那个 有点 有意图过程
这样
那个 实体
是
陈述
的
instance
和
containsFormula
那个 实体
and
那个 有点 有意图过程
I 是
那个 有点 有意图过程
的
instance
和
那个 施事体
是
那个 有点 有意图过程
I 的
agent
,
然后
那个 有点 有意图过程
I 是
那个 有点 有意图过程
的
instance
和
那个 施事体
是
那个 有点 有意图过程
I 的
agent
的声明 has
容易
的语气
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