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
believes
Sigma KEE - believes
believes
appearance as argument number 1
(
documentation
believes
ChineseLanguage
"这是信念的知识谓词,(
believes
?AGENT ?FORMULA)的 意思是 ?AGENT 相信 ?FORMULA 所表达的命题。")
chinese_format.kif 1941-1942
(
documentation
believes
EnglishLanguage
"The epistemic predicate of belief. (
believes
?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.")
Merge.kif 2813-2815
(
documentation
believes
JapaneseLanguage
"信念の認識的述語。(
believes
?AGENT ?FORMULA) とは、AGENT が?FORMULA によって表される命題を信じていることを意味する。")
japanese_format.kif 571-572
(
domain
believes
1
CognitiveAgent
)
Merge.kif 2810-2810
Il numero 1 argomenti di
believes
è un
istanza
di
AgenteCognitivo
(
domain
believes
2
Formula
)
Merge.kif 2811-2811
Il numero 2 argomenti di
believes
è un
istanza
di
Formula
(
instance
believes
BinaryPredicate
)
Merge.kif 2808-2808
believes
è un'
istanza
di
PredicatoBinario
(
instance
believes
PropositionalAttitude
)
Merge.kif 2807-2807
believes
è un'
istanza
di
AtteggiamentoProposizionale
(
subrelation
believes
inScopeOfInterest
)
Merge.kif 2809-2809
believes
è una
sottorelazione
di
inScopeOfInterest
appearance as argument number 2
(
format
ChineseLanguage
believes
"%1 %n{doesn't}
believes
%2")
chinese_format.kif 61-61
(
format
EnglishLanguage
believes
"%1 %n{doesn't} believe%p{s} %2")
english_format.kif 61-61
(
format
FrenchLanguage
believes
"%1 %n{ne} croit %n{pas} %2")
french_format.kif 57-57
(
format
ItalianLanguage
believes
"%1 %n{non} crede%p{s} %2")
relations-it.txt 36-36
(
format
JapaneseLanguage
believes
"%1 は %2 を believe%p{s} %n{ない}")
japanese_format.kif 1879-1879
(
format
PortugueseLanguage
believes
"%1 acredita que %2")
portuguese_format.kif 9-9
(
format
cb
believes
"%1 %n mingtuo %2")
relations-cb.txt 70-70
(
format
cz
believes
"%1 %n{doesn't} believe%p{s} %2")
relations-cz.txt 100-100
(
format
de
believes
"%1 glaubt %n{nicht}, dass %2")
relations-de.txt 68-68
(
format
hi
believes
"%1 %2 para vishvaasa %n{nahin} karataa hai")
relations-hindi.txt 54-54
(
format
ro
believes
"%1 %n{nu} believe%t{crede} %2")
relations-ro.kif 76-76
(
format
sv
believes
"%1 believe %n{inte} %2")
relations-sv.txt 56-56
(
format
tg
believes
"%1 %n naniniwala %2")
relations-tg.txt 88-88
(
termFormat
ChineseLanguage
believes
"相信")
chinese_format.kif 62-62
(
termFormat
ChineseTraditionalLanguage
believes
"相信")
domainEnglishFormat.kif 10678-10678
(
termFormat
EnglishLanguage
believes
"believes")
domainEnglishFormat.kif 10677-10677
(
termFormat
de
believes
"glaubt")
terms-de.txt 17-17
(
termFormat
tg
believes
"naniniwala")
relations-tg.txt 89-89
antecedent
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2443-2457
Processo
è un'
istanza
di
Hurricane
Entit�
è un'
istanza
di
SSHWS5
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
Entit�
NumeroReale
NumeroReale
è
pi
ù grande di 157.0
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
Mean1MinuteWindSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
Processo
è un'
istanza
di
Hurricane
SpeedScaleAttribute
è un'
istanza
di
SSHWSAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
NumeroReale
Unit�DiMisura
(s is
uguale
a
Mean1MinuteWindSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2191-2205
Processo
è un'
istanza
di
Tornado
Entit�
è un'
istanza
di
EF5
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
Entit�
NumeroReale
NumeroReale
è
pi
ù grande di 200.0
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
ThreeSecondGustSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
Processo
è un'
istanza
di
Tornado
SpeedScaleAttribute
è un'
istanza
di
EFScaleAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
MilesPerHour
(s and
NumeroReale
MilesPerHour
(s
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
ThreeSecondGustSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumber12
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN)))
(
exists
(?SPEED)
(
and
(
greaterThan
?SPEED 73.0)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED
MilesPerHour
))))))
Weather.kif 484-496
Processo
è un'
istanza
di
Wind
Entit�
è un'
istanza
di
BeaufortNumber12
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
Entit�
NumeroReale
NumeroReale
è
pi
ù grande di 73.0
AgenteCognitivo
crede
s
surfaceWindSpeed
Oggetto
and
NumeroReale
MilesPerHour
(s
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
Processo
è un'
istanza
di
Wind
SpeedScaleAttribute
è un'
istanza
di
BeaufortNumberAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
surfaceWindSpeed
Oggetto
and
NumeroReale
Unit�DiMisura
(s
(=>
(
believes
?AGENT ?FORMULA)
(
exists
(?TIME)
(
holdsDuring
?TIME
(
considers
?AGENT ?FORMULA))))
Merge.kif 2817-2820
AgenteCognitivo
crede
s
Formula
PosizioneTemporale
AgenteCognitivo
considera
s
Formula
vales
durante
PosizioneTemporale
consequent
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17332-17345
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
AttributoSoggettivo
PosizioneTemporale
Processo
and
AutonomousAgent
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
Attributo
è un
risultato
di
Processo
AutonomousAgent
crede
s
Oggetto
ha un
attributo
Attributo
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?G)
(
member
?A1 ?G)
(
member
?A2 ?G))
(
exists
(?P)
(
and
(
believes
?A1 ?P)
(
believes
?A2 ?P))))
MilitaryProcesses.kif 2673-2682
Processo
è un'
istanza
di
Demonstration
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
membro
di
AutonomousAgent
AgenteCognitivo
è un
membro
di
AutonomousAgent
Formula
AgenteCognitivo
crede
s
Formula
AgenteCognitivo
crede
s
Formula
(=>
(
and
(
instance
?DAMAGE
Damaging
)
(
agent
?DAMAGE ?PROP)
(
destination
?DAMAGE ?DEST)
(
instance
?DEST
CognitiveAgent
))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 228-235
Processo
è un'
istanza
di
Danneggiare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
AgenteCognitivo
AgenteCognitivo
crede
s
attribute
AutonomousAgent
and
Dangerous
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
Processo
è un'
istanza
di
Deciding
Processo
è un
agente
di
AgenteCognitivo
Insieme
è un'
istanza
di
Insieme
Insieme
è un
paziente
di
Processo
%è un
elemento
di %2
AgenteCognitivo
crede
s
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
ProcessoIntenzionale
AgenteCognitivo
è
capace
di fare
Entit�
nel ruolo
agent
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
Processo
è un'
istanza
di
Exfiltration
Processo
è un
agente
di
AutonomousAgent
Processo
Entit�
Processo
è un'
istanza
di
Fingere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
crede
s
Processo
0
Processo
0 is
uguale
a
Processo
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
agent
?EV ?A))
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
geographicSubregion
?OR
(
WhereFn
?P
(
BeginFn
(
WhenFn
?EV))))
(
causes
?P ?EV)
(
believes
?A
(
attribute
?P
Dangerous
)))))
MilitaryProcesses.kif 2516-2530
Processo
è un'
istanza
di
Evacuation
Processo
si
originas in
AreaGeografica
Processo
è un
agente
di
AgenteCognitivo
Processo
Processo
è un'
istanza
di
Processo
geographicSubregion
AreaGeografica
and il luogo
dove
Processo
era in l'
inizio
di il
tempo
di esistenza di
Processo
Processo
causa
s
Processo
AgenteCognitivo
crede
s
attribute
Processo
and
Dangerous
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
Processo
è un'
istanza
di
Processo
Umano
è un'
istanza
di
AutonomousAgent
Experimenting
è un'
istanza
di
Experimenting
treatedUser
Umano
and
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Umano
esperisce
s
Processo
Umano
esperisce
s
Processo
exclusiveEvent
Experimenting
and
Processo
Experimenting
ERIMENTER
Experimenting
ERIMENTER è un'
istanza
di
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
crede
s l'affermazione
Processo
causa
s
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
AgenteCognitivo
è un'
istanza
di
PoliticalPressureGroup
AgenteCognitivo
ha
scopo
Formula
agentOperatesInArea
AgenteCognitivo
and
AreaGeografica
AreaGeografica
è un'
istanza
di
Nazione
AgenteCognitivo
desidera
s
GovernmentFn
AreaGeografica
crede
s
Formula
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2443-2457
Processo
è un'
istanza
di
Hurricane
Entit�
è un'
istanza
di
SSHWS5
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
Entit�
NumeroReale
NumeroReale
è
pi
ù grande di 157.0
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
Mean1MinuteWindSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
Processo
è un'
istanza
di
Hurricane
SpeedScaleAttribute
è un'
istanza
di
SSHWSAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
NumeroReale
Unit�DiMisura
(s is
uguale
a
Mean1MinuteWindSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?INTERPRET
Interpreting
)
(
agent
?INTERPRET ?AGENT)
(
patient
?INTERPRET ?CONTENT)
(
instance
?CONTENT
ContentBearingObject
))
(
exists
(?PROP)
(
holdsDuring
(
EndFn
(
WhenFn
?INTERPRET))
(
believes
?AGENT
(
containsInformation
?CONTENT ?PROP)))))
Merge.kif 10863-10870
Processo
è un'
istanza
di
Interpreting
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
OggettoSemiotico
Entit�
AutonomousAgent
crede
s
Entit�
contiene
s informazione
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
result
?JUDGE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JUDGE))
(
not
(
believes
?AGENT ?P)))
(
holdsDuring
(
EndFn
(
WhenFn
?JUDGE))
(
believes
?AGENT ?P))))
Merge.kif 12092-12106
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
AutonomousAgent
non
crede
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
crede
s
Entit�
vales
durante
la
fine
di 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
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
Processo
è un'
istanza
di
Nausea
AgenteCognitivo
esperisce
s
Processo
AgenteCognitivo
crede
s
Entit�
Entit�
è un'
istanza
di
Vomiting
AgenteCognitivo
esperisce
s
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?STATE
Stating
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?FORMULA)
(
instance
?FORMULA
Formula
))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT ?FORMULA)))
Merge.kif 13142-13148
Processo
è un'
istanza
di
Affermare
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Formula
AutonomousAgent
crede
s
Entit�
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 922-929
Processo
è un'
istanza
di
TellingALie
Processo
è un
agente
di
AutonomousAgent
Processo
MENT è un
paziente
di
Processo
AutonomousAgent
crede
s
truth
Processo
MENT and
False
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
Processo
è un'
istanza
di
TemperatureFallingExperiencedAsFeelingCold
Processo
è
localizzato
in
Oggetto
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
crede
s
attribute
Oggetto
and
ColdTemperature
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
Processo
è un'
istanza
di
TemperatureRisingExperiencedAsFeelingWarm
Processo
è
localizzato
in
Oggetto
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
crede
s
attribute
Oggetto
and
WarmTemperature
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2191-2205
Processo
è un'
istanza
di
Tornado
Entit�
è un'
istanza
di
EF5
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
Entit�
NumeroReale
NumeroReale
è
pi
ù grande di 200.0
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
ThreeSecondGustSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
Processo
è un'
istanza
di
Tornado
SpeedScaleAttribute
è un'
istanza
di
EFScaleAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
MilesPerHour
(s and
NumeroReale
MilesPerHour
(s
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
ThreeSecondGustSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15400-15407
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
FactualText
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
ContentBearingPhysical
sussume
il contenuto di
Formula
Formula
è un'
istanza
di
Formula
AgenteCognitivo
crede
s
Formula
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FictionalText
)
(
authors
?AGENT ?CLASS))
(
exists
(?CONTENT)
(
and
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
)
(
not
(
believes
?AGENT ?CONTENT)))))
Merge.kif 15431-15440
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
FictionalText
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
Formula
ContentBearingPhysical
sussume
il contenuto di
Formula
Formula
è un'
istanza
di
Formula
AgenteCognitivo
non
crede
Formula
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 212-218
Processo
è un'
istanza
di
Threatening
Entit�
è un
paziente
di
Processo
Processo
fine
s in
AgenteCognitivo
AgenteCognitivo
crede
s
attribute
Entit�
and
Dangerous
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumber12
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN)))
(
exists
(?SPEED)
(
and
(
greaterThan
?SPEED 73.0)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED
MilesPerHour
))))))
Weather.kif 484-496
Processo
è un'
istanza
di
Wind
Entit�
è un'
istanza
di
BeaufortNumber12
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
Entit�
NumeroReale
NumeroReale
è
pi
ù grande di 73.0
AgenteCognitivo
crede
s
surfaceWindSpeed
Oggetto
and
NumeroReale
MilesPerHour
(s
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
Processo
è un'
istanza
di
Wind
SpeedScaleAttribute
è un'
istanza
di
BeaufortNumberAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
surfaceWindSpeed
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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