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
Le nombre 1 argument de
containsFormula
est une
instance
de
ContentBearingPhysical
(
domain
containsFormula
2
Formula
)
Merge.kif 1368-1368
Le nombre 2 argument de
containsFormula
est une
instance
de
formule
(
instance
containsFormula
BinaryPredicate
)
Merge.kif 1366-1366
containsFormula
est une
instance
de
pr�dicat binaire
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
est
reli
� � l'int�rieur de SUMO �
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
Objet exprimant un sens
est une
sous
-classe de
PartyPlatform
agent cognitif
est l'
auteur
de
objet exprimant un sens
agent cognitif
est une
instance
de
PoliticalParty
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
containsFormula
ContentBearingPhysical
and
formule
agent cognitif
croit
formule
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
Processus
est une
instance
de
Deciding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
ensemble
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
containsFormula
ContentBearingPhysical
and
entit�
entit�
est un
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
agent
de
AutonomousAgent
pendant
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Misdiagnosing
processus
est un
agent
de
agent cognitif
processus
inclut une
r
�f�rence �
entit�
entit�
est une
instance
de
humain
agent cognitif
IS
containsFormula
processus
and
agent cognitif
IS est un
attribut
de
entit�
agent cognitif
IS est une
instance
de
maladie ou syndrome
agent cognitif
croit
agent cognitif
IS est un
attribut
de
entit�
truth
agent cognitif
IS est un
attribut
de
entit�
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
ContentBearingPhysical
est une
instance
de
BirthCertificate
processus
est une
instance
de
naissance
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
containsFormula
ContentBearingPhysical
and
entit�
entit�
and
entit�
birthdate
AutonomousAgent
and
entit�
entit�
est une
instance
de
jour
birthplace
AutonomousAgent
and
entit�
entit�
est une
instance
de
secteur g�ographique
entit�
d
�finie
AutonomousAgent
entit�
est une
instance
de
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
ContentBearingPhysical
est une
instance
de
DeathCertificate
processus
est une
instance
de
mort
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
containsFormula
ContentBearingPhysical
and
processus
AY
entit�
,
entit�
and
entit�
ROC
deathdate
AutonomousAgent
and
processus
AY
processus
AY est une
instance
de
jour
deathplace
AutonomousAgent
and
entit�
entit�
est une
instance
de
secteur g�ographique
entit�
d
�finie
AutonomousAgent
entit�
est une
instance
de
Name
entit�
ROC
cause
processus
entit�
ROC est une
instance
de
processus
(=>
(
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
est une
instance
de
MarriageCertificate
humain
est une
instance
de
humain
humain
est une
instance
de
humain
spouse
humain
and
humain
containsFormula
ContentBearingPhysical
and
entit�
weddingdate
humain
,
humain
and
entit�
entit�
est une
instance
de
jour
(=>
(
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
entit�
pendant
interval temporel
processus
entit�
and
entit�
processus
est une
instance
de
d�clarer
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
est un
agent
de
AutonomousAgent
containsFormula
processus
and
entit�
est un
agent
de
entit�
cause
truth
entit�
and
True
punishes
AutonomousAgent
and
entit�
(=>
(
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
agent cognitif
,
AutonomousAgent
and
processus intentionnel
agent cognitif
croit
entit�
processus intentionnel
I and
processus intentionnel
entit�
est une
instance
de
d�clarer
containsFormula
entit�
and
processus intentionnel
I est une
instance
de
processus intentionnel
processus intentionnel
I est un
agent
de
AutonomousAgent
l'argument
processus intentionnel
I est une
instance
de
processus intentionnel
processus intentionnel
I est un
agent
de
AutonomousAgent
a la
force
modale
de
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