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 引数は
ContentBearingPhysical
の
instance
では %n
(
domain
containsFormula
2
Formula
)
Merge.kif 1368-1368
containsFormula
の数値 2 引数は
公式
の
instance
では %n
(
instance
containsFormula
BinaryPredicate
)
Merge.kif 1366-1366
containsFormula
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
EnglishLanguage
containsFormula
"%1 contains the formula %2")
Merge.kif 1371-1371
(
relatedInternalConcept
containsInformation
containsFormula
)
Merge.kif 1369-1369
containsInformation
は
containsFormula
に
internally
関連して %n
(
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
コンテンツベアリングオブジェクト
は
PartyPlatform
の
subclass
では %n
認識エージェント
は
コンテンツベアリングオブジェクト
の
author
では %n
認識エージェント
は
PoliticalParty
の
instance
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
containsFormula
ContentBearingPhysical
and
公式
認識エージェント
は
公式
を
believe
s %n{ない}
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 12068-12084
工程
は
Deciding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
セット
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では %n
containsFormula
ContentBearingPhysical
and
エンティティー
エンティティー
は
エンティティー
の
element
%n
エンティティー
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない}
(=>
(
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
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
認識エージェント
IS
containsFormula
工程
and
認識エージェント
IS は
エンティティー
の
attribute
では %n
認識エージェント
IS は
病気または症候群
の
instance
では %n
認識エージェント
は
認識エージェント
IS は
エンティティー
の
attribute
では %n を
believe
s %n{ない}
認識エージェント
IS は
エンティティー
の
attribute
では %n
is
False
%n
(=>
(
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
ContentBearingPhysical
は
BirthCertificate
の
instance
では %n
工程
は
出生
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
containsFormula
ContentBearingPhysical
and
エンティティー
エンティティー
and
エンティティー
birthdate
AutonomousAgent
and
エンティティー
エンティティー
は
日
の
instance
では %n
birthplace
AutonomousAgent
and
エンティティー
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
AutonomousAgent
を
express
es %n{ない}
エンティティー
は
Name
の
instance
では %n
(=>
(
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
ContentBearingPhysical
は
DeathCertificate
の
instance
では %n
工程
は
死
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
containsFormula
ContentBearingPhysical
and
工程
AY
エンティティー
,
エンティティー
and
エンティティー
ROC
deathdate
AutonomousAgent
and
工程
AY
工程
AY は
日
の
instance
では %n
deathplace
AutonomousAgent
and
エンティティー
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
AutonomousAgent
を
express
es %n{ない}
エンティティー
は
Name
の
instance
では %n
エンティティー
ROC は
工程
を
cause
s %n{ない}
エンティティー
ROC は
工程
の
instance
では %n
(=>
(
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
ContentBearingPhysical
は
MarriageCertificate
の
instance
では %n
人[人間]
は
人[人間]
の
instance
では %n
人[人間]
は
人[人間]
の
instance
では %n
spouse
人[人間]
and
人[人間]
containsFormula
ContentBearingPhysical
and
エンティティー
weddingdate
人[人間]
,
人[人間]
and
エンティティー
エンティティー
は
日
の
instance
では %n
(=>
(
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
AutonomousAgent
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
工程
エンティティー
and
エンティティー
工程
は
記載
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
containsFormula
工程
and
エンティティー
は
エンティティー
の
agent
では %n は
エンティティー
is
True
%n を
cause
s %n{ない}
punishes
AutonomousAgent
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
認識エージェント
,
AutonomousAgent
and
意図的なプロセス
認識エージェント
は
エンティティー
意図的なプロセス
I and
意図的なプロセス
エンティティー
は
記載
の
instance
では %n
containsFormula
エンティティー
and
意図的なプロセス
I は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
意図的なプロセス
I の
agent
では %n
ステートメント
意図的なプロセス
I は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
意図的なプロセス
I の
agent
では %n には
Likely
の
modal
force
が ある
を
believe
s %n{ない}
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