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
Die Zahl 1 Argument von
containsFormula
ist ein
fall
von
ContentBearingPhysical
%n{nicht}
(
domain
containsFormula
2
Formula
)
Merge.kif 1368-1368
Die Zahl 2 Argument von
containsFormula
ist ein
fall
von
Formula
%n{nicht}
(
instance
containsFormula
BinaryPredicate
)
Merge.kif 1366-1366
containsFormula
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
EnglishLanguage
containsFormula
"%1 contains the formula %2")
Merge.kif 1371-1371
(
relatedInternalConcept
containsInformation
containsFormula
)
Merge.kif 1369-1369
enthaeltInformationen
ist innerlich verwandt mit
containsFormula
%n{nicht}
(
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
Wenn
** ContentBearingObject
ist eine
teilkategorie
von
PartyPlatform
und
CognitiveAgent
ist der
schreiber
von
** ContentBearingObject
und
** CognitiveAgent
ist ein
fall
von
PoliticalParty
%n{nicht} und
ContentBearingPhysical
ist ein
fall
von
** ** ContentBearingObject
%n{nicht} und
containsFormula
** ContentBearingPhysical
and
Formula
,
dann
** CognitiveAgent
glaubt %n{nicht}, dass
** 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 12068-12084
Wenn
Process
ist ein
fall
von
Deciding
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Set
%n{nicht} und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
** ContentBearingPhysical
ist ein
fall
von
ContentBearingPhysical
%n{nicht},
dann
containsFormula
** ContentBearingPhysical
and es gibt
** entity
um
** ** entity
ist ein
element
von
** Entity
%n{nicht} und
** ** entity
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Misdiagnosing
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
** Process
umfasst einen
hinweis
auf
Entity
und
** Entity
ist ein
fall
von
Human
%n{nicht},
dann es gibt
** CognitiveAgent
IS um
containsFormula
** Process
and
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} und
** CognitiveAgent
IS ist ein
fall
von
DiseaseOrSyndrome
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} und
truth
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} and
False
(=>
(
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
Wenn
ContentBearingPhysical
ist ein
fall
von
BirthCertificate
%n{nicht} und
Process
ist ein
fall
von
Birth
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
containsFormula
** ContentBearingPhysical
and es gibt
entity
,
** entity
, and und
** entity
um
birthdate
** AutonomousAgent
and
** entity
und
** entity
ist ein
fall
von
Day
%n{nicht} und
birthplace
** AutonomousAgent
and
** ** entity
und
** ** entity
ist ein
fall
von
GeographicArea
%n{nicht} und
** ** entity
drueckt
** AutonomousAgent
aus und
** ** entity
ist ein
fall
von
Name
%n{nicht}
(=>
(
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
Wenn
ContentBearingPhysical
ist ein
fall
von
DeathCertificate
%n{nicht} und
Process
ist ein
fall
von
Death
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
containsFormula
** ContentBearingPhysical
and es gibt
** Process
AY,
** entity
,, ,
** entity
, and und
** ** entity
ROC um
deathdate
** AutonomousAgent
and
** Process
AY und
** Process
AY ist ein
fall
von
Day
%n{nicht} und
deathplace
** AutonomousAgent
and
** ** entity
und
** ** entity
ist ein
fall
von
GeographicArea
%n{nicht} und
** ** entity
drueckt
** AutonomousAgent
aus und
** ** entity
ist ein
fall
von
Name
%n{nicht} und
** ** entity
ROC verursacht
** Process
%n{nicht} und
** ** entity
ROC ist ein
fall
von
Process
%n{nicht}
(=>
(
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
Wenn
ContentBearingPhysical
ist ein
fall
von
MarriageCertificate
%n{nicht} und
Human
ist ein
fall
von
Human
%n{nicht} und
** Human
ist ein
fall
von
Human
%n{nicht} und
spouse
** Human
and
** ** Human
,
dann
containsFormula
** ContentBearingPhysical
and es gibt
entity
um
weddingdate
** Human
,
** ** Human
and
** entity
und
** entity
ist ein
fall
von
Day
%n{nicht}
(=>
(
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
Wenn
prohibits
AutonomousAgent
and
entity
haelt
waehrend
TimeInterval
%n{nicht},
dann es gibt
Process
,
** entity
, and und
** entity
um
** Process
ist ein
fall
von
Stating
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
containsFormula
** Process
and
wenn
** ** entity
ist der
agent
von
** ** entity
%n{nicht} verursacht
truth
** entity
and
True
%n{nicht},
dann
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
Wenn
trusts
CognitiveAgent
,
AutonomousAgent
and
** IntentionalProcess
,
dann
** CognitiveAgent
glaubt %n{nicht}, dass
wenn es gibt
entity
,
** IntentionalProcess
I, and und
** ** IntentionalProcess
um
** entity
ist ein
fall
von
Stating
%n{nicht} und
containsFormula
** entity
and
** ** IntentionalProcess
I ist ein
fall
von
** ** IntentionalProcess
%n{nicht} und
** ** IntentionalProcess
I ist der
agent
von
** AutonomousAgent
%n{nicht},
dann die Aussage
** ** IntentionalProcess
I ist ein
fall
von
** ** IntentionalProcess
%n{nicht} und
** ** IntentionalProcess
I ist der
agent
von
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Likely
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