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
WashingtonDCUnitedStates
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
Il numero 1 argomenti di
containsFormula
è un
istanza
di
ContentBearingPhysical
(
domain
containsFormula
2
Formula
)
Merge.kif 1368-1368
Il numero 2 argomenti di
containsFormula
è un
istanza
di
Formula
(
instance
containsFormula
BinaryPredicate
)
Merge.kif 1366-1366
containsFormula
è un'
istanza
di
PredicatoBinario
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
è
interamente
correlato a
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 2295-2302
OggettoSemiotico
è una
sottoclasse
di
PartyPlatform
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
AgenteCognitivo
è un'
istanza
di
PoliticalParty
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
containsFormula
ContentBearingPhysical
and
Formula
AgenteCognitivo
crede
s
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 12092-12108
Processo
è un'
istanza
di
Deciding
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Insieme
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
ContentBearingPhysical
containsFormula
ContentBearingPhysical
and
Entit�
%è un
elemento
di %2
Entit�
è un'
istanza
di
ProcessoIntenzionale
Entit�
è un
agente
di
AutonomousAgent
vales
durante
dopo
il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Misdiagnosing
Processo
è un
agente
di
AgenteCognitivo
Processo
include un
riferimento
a
Entit�
Entit�
è un'
istanza
di
Umano
AgenteCognitivo
IS
containsFormula
Processo
and
attribute
Entit�
and
AgenteCognitivo
IS
AgenteCognitivo
IS è un'
istanza
di
MalattiaOSindrome
AgenteCognitivo
crede
s
attribute
Entit�
and
AgenteCognitivo
IS
truth
attribute
Entit�
and
AgenteCognitivo
IS 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
è un'
istanza
di
BirthCertificate
Processo
è un'
istanza
di
Nascita
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
containsFormula
ContentBearingPhysical
and
Entit�
Entit�
and
Entit�
birthdate
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
Giorno
birthplace
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
Entit�
esprime
AutonomousAgent
Entit�
è un'
istanza
di
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
è un'
istanza
di
DeathCertificate
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
containsFormula
ContentBearingPhysical
and
Processo
AY
Entit�
,
Entit�
and
Entit�
ROC
deathdate
AutonomousAgent
and
Processo
AY
Processo
AY è un'
istanza
di
Giorno
deathplace
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
Entit�
esprime
AutonomousAgent
Entit�
è un'
istanza
di
Name
Entit�
ROC
causa
s
Processo
Entit�
ROC è un'
istanza
di
Processo
(=>
(
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
è un'
istanza
di
MarriageCertificate
Umano
è un'
istanza
di
Umano
Umano
è un'
istanza
di
Umano
spouse
Umano
and
Umano
containsFormula
ContentBearingPhysical
and
Entit�
weddingdate
Umano
,
Umano
and
Entit�
Entit�
è un'
istanza
di
Giorno
(=>
(
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�
vales
durante
IntervalloTemporale
Processo
Entit�
and
Entit�
Processo
è un'
istanza
di
Affermare
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
è un
agente
di
AutonomousAgent
containsFormula
Processo
and
Entit�
è un
agente
di
Entit�
causa
s
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
AgenteCognitivo
,
AutonomousAgent
and
ProcessoIntenzionale
AgenteCognitivo
crede
s
Entit�
ProcessoIntenzionale
I and
ProcessoIntenzionale
Entit�
è un'
istanza
di
Affermare
containsFormula
Entit�
and
ProcessoIntenzionale
I è un'
istanza
di
ProcessoIntenzionale
ProcessoIntenzionale
I è un
agente
di
AutonomousAgent
l'affermazione
ProcessoIntenzionale
I è un'
istanza
di
ProcessoIntenzionale
ProcessoIntenzionale
I è un
agente
di
AutonomousAgent
ha il modello di forza di
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