Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 1383-1387
(
domain
containsFormula
1
ContentBearingPhysical
)
Merge.kif 1377-1377
The number 1 argument of
contains formula
is an
instance
of
content bearing physical
(
domain
containsFormula
2
Formula
)
Merge.kif 1378-1378
The number 2 argument of
contains formula
is an
instance
of
formula
(
instance
containsFormula
BinaryPredicate
)
Merge.kif 1376-1376
contains formula
is an
instance
of
binary predicate
appearance as argument number 2
(
format
EnglishLanguage
containsFormula
"%1 contains the formula %2")
Merge.kif 1381-1381
(
relatedInternalConcept
containsInformation
containsFormula
)
Merge.kif 1379-1379
contains information
is
internally
related to
contains formula
(
termFormat
EnglishLanguage
containsFormula
"contains formula")
Merge.kif 1380-1380
contains information
is
internally
related to
contains formula
antecedent
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2292-2299
If
a kind of content bearing object
is a
subclass
of
party platform
and
a cognitive agent
is the
author
of
a kind of content bearing object
and
the cognitive agent
is an
instance
of
political party
and
a content bearing physical
is an
instance
of
the kind of content bearing object
and
the content bearing physical
contains the formula
a formula
,
then
the cognitive agent
believe
s
the 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 12196-12212
If
a process
is an
instance
of
deciding
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
set
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing physical
,
then
the content bearing physical
contains the formula there exists
another entity
such that
the other entity
is an
element
of
the entity
and
the other entity
is an
instance
of
intentional process
and
the agent
is an
agent
of
the other entity
holds
during
after
the
time
of existence of
the process
(=>
(
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 4201-4216
If
a process
is an
instance
of
misdiagnosing
and
a cognitive agent
is an
agent
of
the process
and
the process
includes a
reference
to
an entity
and
the entity
is an
instance
of
human
,
then there exists
the cognitive agent
IS such that
the process
contains the formula
the cognitive agent
IS is an
attribute
of
the entity
and
the cognitive agent
IS is an
instance
of
disease or syndrome
and
the cognitive agent
believe
s
the cognitive agent
IS is an
attribute
of
the entity
and
the cognitive agent
IS is an
attribute
of
the entity
is
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 256-270
If
a content bearing physical
is an
instance
of
birth certificate
and
a process
is an
instance
of
birth
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
,
then
the content bearing physical
contains the formula there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
birthdate
of
the agent
and
the entity
is an
instance
of
day
and
the other entity
is a
birthplace
of
the agent
and
the other entity
is an
instance
of
geographic area
and
the third entity
express
es
the agent
and
the third entity
is an
instance
of
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 287-303
If
a content bearing physical
is an
instance
of
death certificate
and
a process
is an
instance
of
death
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
,
then
the content bearing physical
contains the formula there exist
the process
AY,
another entity
,, ,
a third entity
and
the other entity
ROC such that
the process
AY is a
deathdate
of
the agent
and
the process
AY is an
instance
of
day
and
the other entity
is a
deathplace
of
the agent
and
the other entity
is an
instance
of
geographic area
and
the third entity
express
es
the agent
and
the third entity
is an
instance
of
name
and
the other entity
ROC
cause
s
the process
and
the other entity
ROC is an
instance
of
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 315-325
If
a content bearing physical
is an
instance
of
marriage certificate
and
a human
is an
instance
of
human
and
another human
is an
instance
of
human
and
the human
is the
spouse
of
the other human
,
then
the content bearing physical
contains the formula there exists
an entity
such that
the human
and
the other human
were
married
on
the entity
and
the entity
is an
instance
of
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
If
an agent
prohibits
an entity
holds
during
a time interval
,
then there exist
a process
,
another entity
and
a third entity
such that
the process
is an
instance
of
stating
and the
time
of existence of
the process
takes place
during
the time interval
and
the agent
is an
agent
of
the process
and
the process
contains the formula
if
the other entity
is an
agent
of
the third entity
cause
s
the entity
is
true
,
then
the agent
punishes
the other entity
(=>
(
instance
?R
PositionReport
)
(
containsFormula
?R
(
exists
(?O ?A)
(
and
(
instance
?O
Object
)
(
instance
?A
Region
)
(
located
?O
(
WhenFn
?R) ?A)))))
Mid-level-ontology.kif 7723-7731
If
a content bearing physical
is an
instance
of
position report
,
then
the content bearing physical
contains the formula there exist
an entity
and
another entity
such that
the entity
is an
instance
of
object
and
the other entity
is an
instance
of
region
and
the entity
is
located
at the
time
of existence of
the content bearing physical
(=>
(
instance
?WA
WeatherAssessment
)
(
containsFormula
?WA
(
exists
(?R ?A ?WP)
(
and
(
instance
?R
Reasoning
)
(
instance
?A
CognitiveAgent
)
(
agent
?R ?A)
(
instance
?WP
WeatherProcess
)
(
patient
?R ?WP)
(
result
?R ?WA)
(
earlier
(
WhenFn
?WP)
(
WhenFn
?WA))))))
Weather.kif 4022-4033
If
a content bearing physical
is an
instance
of
weather assessment
,
then
the content bearing physical
contains the formula there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
reasoning
and
the other entity
is an
instance
of
cognitive agent
and
the other entity
is an
agent
of
the entity
and
the third entity
is an
instance
of
weather process
and
the third entity
is a
patient
of
the entity
and
the content bearing physical
is a
result
of
the entity
and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the content bearing physical
(=>
(
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 406-421
If
a cognitive agent
trusts
an agent
will do
a kind of intentional process
,
then
the cognitive agent
believe
s
if there exist
an entity
,
a kind of intentional process
I and
the kind of intentional process
such that
the entity
is an
instance
of
stating
and
the entity
contains the formula
the kind of intentional process
I is an
instance
of
the kind of intentional process
and
the agent
is an
agent
of
the kind of intentional process
I,
then the statement
the kind of intentional process
I is an
instance
of
the kind of intentional process
and
the agent
is an
agent
of
the kind of intentional process
I has the
modal
force
of
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
