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 and
內容承載物理
(
domain
containsFormula
2
Formula
)
Merge.kif 1368-1368
域
containsFormula
, 2 and
Formula
(
instance
containsFormula
BinaryPredicate
)
Merge.kif 1366-1366
例
containsFormula
and
BinaryPredicate
appearance as argument number 2
(
format
EnglishLanguage
containsFormula
"%1 contains the formula %2")
Merge.kif 1371-1371
(
relatedInternalConcept
containsInformation
containsFormula
)
Merge.kif 1369-1369
相關的內部概念
包含信息
and
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 2331-2338
子類
ContentBearingObject
and
黨的平台
作者
CognitiveAgent
and
ContentBearingObject
例
CognitiveAgent
and
政治黨派
例
內容承載物理
and
ContentBearingObject
containsFormula
內容承載物理
and
Formula
相信
CognitiveAgent
and
Formula
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 12046-12062
例
Process
and
決定
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
Set
結果
Process
and
內容承載物理
例
內容承載物理
and
內容承載物理
containsFormula
內容承載物理
and
持有期間
未來
何時
Process
and
entity
元件
entity
and
Entity
例
entity
and
IntentionalProcess
agent
entity
and
AutonomousAgent
(=>
(
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
例
Process
and
Misdiagnosing
agent
Process
and
CognitiveAgent
參照
Process
and
Entity
例
Entity
and
Human
CognitiveAgent
IS
containsFormula
Process
and
attribute
Entity
and
CognitiveAgent
IS
例
CognitiveAgent
IS and
DiseaseOrSyndrome
相信
CognitiveAgent
and
attribute
Entity
and
CognitiveAgent
IS
真相
attribute
Entity
and
CognitiveAgent
IS and
假
(=>
(
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
例
內容承載物理
and
出生證明
例
Process
and
Birth
例
AutonomousAgent
and
Human
體驗者
Process
and
AutonomousAgent
containsFormula
內容承載物理
and
entity
entity
and
entity
entity
是
AutonomousAgent
的
birthdate
例
entity
and
Day
entity
是
AutonomousAgent
的
birthplace
例
entity
and
GeographicArea
代表
entity
and
AutonomousAgent
例
entity
and
Name
(=>
(
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
例
內容承載物理
and
DeathCertificate
例
Process
and
Death
例
AutonomousAgent
and
Human
體驗者
Process
and
AutonomousAgent
containsFormula
內容承載物理
and
Process
AY
entity
,
entity
and
entity
ROC
Process
AY 是
AutonomousAgent
的
deathdate
例
Process
AY and
Day
entity
是
AutonomousAgent
的
deathplace
例
entity
and
GeographicArea
代表
entity
and
AutonomousAgent
例
entity
and
Name
原因
entity
ROC and
Process
例
entity
ROC and
Process
(=>
(
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
例
內容承載物理
and
MarriageCertificate
例
Human
and
Human
例
Human
and
Human
Human
是
Human
的
spouse
containsFormula
內容承載物理
and
entity
Human
和
Human
之前是
married
在
entity
例
entity
and
Day
(=>
(
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
持有期間
TimeInterval
and
prohibits
AutonomousAgent
and
entity
Process
entity
and
entity
例
Process
and
Stating
期間
何時
Process
and
TimeInterval
agent
Process
and
AutonomousAgent
containsFormula
Process
and
原因
agent
entity
and
entity
and
真相
entity
and
真正
punishes
AutonomousAgent
and
entity
(=>
(
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
CognitiveAgent
,
AutonomousAgent
and
IntentionalProcess
相信
CognitiveAgent
and
entity
IntentionalProcess
I and
IntentionalProcess
例
entity
and
Stating
containsFormula
entity
and
例
IntentionalProcess
I and
IntentionalProcess
agent
IntentionalProcess
I and
AutonomousAgent
模態屬性
例
IntentionalProcess
I and
IntentionalProcess
agent
IntentionalProcess
I and
AutonomousAgent
and
容易
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