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
Le nombre 1 argument de
believes
est une
instance
de
agent cognitif
(
domain
believes
2
Formula
)
Merge.kif 2811-2811
Le nombre 2 argument de
believes
est une
instance
de
formule
(
instance
believes
BinaryPredicate
)
Merge.kif 2808-2808
believes
est une
instance
de
pr�dicat binaire
(
instance
believes
PropositionalAttitude
)
Merge.kif 2807-2807
believes
est une
instance
de
attitude propositionnelle
(
subrelation
believes
inScopeOfInterest
)
Merge.kif 2809-2809
believes
est une
sous
-relation de
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 2426-2440
Processus
est une
instance
de
Hurricane
entit�
est une
instance
de
SSHWS5
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 157.0
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
Mean1MinuteWindSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 2348-2367
Processus
est une
instance
de
Hurricane
SpeedScaleAttribute
est une
instance
de
SSHWSAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
nombre r�el
unit� de mesure
(s) est
Mean1MinuteWindSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 2174-2188
Processus
est une
instance
de
Tornado
entit�
est une
instance
de
EF5
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 200.0
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
ThreeSecondGustSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 2079-2097
Processus
est une
instance
de
Tornado
SpeedScaleAttribute
est une
instance
de
EFScaleAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
MilesPerHour
(s) and
nombre r�el
MilesPerHour
(s)
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
ThreeSecondGustSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 472-484
Processus
est une
instance
de
Wind
entit�
est une
instance
de
BeaufortNumber12
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 73.0
agent cognitif
croit
surfaceWindSpeed
objet
and
nombre r�el
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 337-354
Processus
est une
instance
de
Wind
SpeedScaleAttribute
est une
instance
de
BeaufortNumberAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
surfaceWindSpeed
objet
and
nombre r�el
unit� de mesure
(s)
(=>
(
believes
?AGENT ?FORMULA)
(
exists
(?TIME)
(
holdsDuring
?TIME
(
considers
?AGENT ?FORMULA))))
Merge.kif 2817-2821
Agent cognitif
croit
formule
position temporel
agent cognitif
consid
�re
formule
pendant
position temporel
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 17403-17416
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
attribut subjectif
position temporel
processus
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
attribut
est un
attribut
de
objet
est le
resultat
de
processus
AutonomousAgent
croit
objet
a un
attribute
attribut
pendant
position temporel
(=>
(
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
Processus
est une
instance
de
Demonstration
processus
est un
agent
de
AutonomousAgent
agent cognitif
est un
membre
de
AutonomousAgent
agent cognitif
est un
membre
de
AutonomousAgent
formule
agent cognitif
croit
formule
agent cognitif
croit
formule
(=>
(
and
(
instance
?DAMAGE
Damaging
)
(
agent
?DAMAGE ?PROP)
(
destination
?DAMAGE ?DEST)
(
instance
?DEST
CognitiveAgent
))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 228-235
Processus
est une
instance
de
endommager
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
agent cognitif
agent cognitif
est une
instance
de
agent cognitif
agent cognitif
croit
Dangerous
est un
attribut
de
AutonomousAgent
(=>
(
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 12060-12072
Processus
est une
instance
de
Deciding
processus
est un
agent
de
agent cognitif
ensemble
est une
instance
de
ensemble
ensemble
est un
patient
de
processus
entit�
est un
ensemble
agent cognitif
croit
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
processus intentionnel
agent cognitif
est
capable
de faire
entit�
dans le r�le
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
Processus
est une
instance
de
Exfiltration
processus
est un
agent
de
AutonomousAgent
processus
entit�
processus
est une
instance
de
pr�tendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a pour
but
entit�
croit
processus
0
processus
0 est
processus
(=>
(
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
Processus
est une
instance
de
Evacuation
processus
a pour
origine
secteur g�ographique
processus
est un
agent
de
agent cognitif
processus
processus
est une
instance
de
processus
geographicSubregion
secteur g�ographique
and la place
o
�
processus
�tait � le
d
�but de
temps
d'existence de
processus
processus
cause
processus
agent cognitif
croit
Dangerous
est un
attribut
de
processus
(=>
(
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
Processus
est une
instance
de
processus
humain
est une
instance
de
AutonomousAgent
Experimenting
est une
instance
de
Experimenting
treatedUser
humain
and
Experimenting
experimentalVariableProcess
Experimenting
and
processus
humain
exp
�rimente
processus
humain
exp
�rimente
processus
exclusiveEvent
Experimenting
and
processus
Experimenting
ERIMENTER
Experimenting
ERIMENTER est une
instance
de
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
croit
l'argument
processus
cause
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2326-2333
Agent cognitif
est une
instance
de
PoliticalPressureGroup
agent cognitif
a pour
but
formule
agentOperatesInArea
agent cognitif
and
secteur g�ographique
secteur g�ographique
est une
instance
de
nation
agent cognitif
desire
le
gouvernment
de
secteur g�ographique
croit
formule
(=>
(
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 2426-2440
Processus
est une
instance
de
Hurricane
entit�
est une
instance
de
SSHWS5
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 157.0
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
Mean1MinuteWindSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 2348-2367
Processus
est une
instance
de
Hurricane
SpeedScaleAttribute
est une
instance
de
SSHWSAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
nombre r�el
unit� de mesure
(s) est
Mean1MinuteWindSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 10897-10904
Processus
est une
instance
de
Interpreting
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet exprimant un sens
entit�
AutonomousAgent
croit
entit�
contient
information
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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 12138-12152
Processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
AutonomousAgent
ne
croit
%n{pas}
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
croit
entit�
pendant
la
fin
de
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
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21459-21470
Processus
est une
instance
de
Nausea
agent cognitif
exp
�rimente
processus
agent cognitif
croit
entit�
entit�
est une
instance
de
Vomiting
agent cognitif
exp
�rimente
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?STATE
Stating
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?FORMULA)
(
instance
?FORMULA
Formula
))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT ?FORMULA)))
Merge.kif 13188-13194
Processus
est une
instance
de
d�clarer
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
formule
AutonomousAgent
croit
entit�
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 915-922
Processus
est une
instance
de
TellingALie
processus
est un
agent
de
AutonomousAgent
processus
MENT est un
patient
de
processus
AutonomousAgent
croit
truth
processus
MENT and
False
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
Processus
est une
instance
de
TemperatureFallingExperiencedAsFeelingCold
processus
est
situ
� �
objet
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
croit
ColdTemperature
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
Processus
est une
instance
de
TemperatureRisingExperiencedAsFeelingWarm
processus
est
situ
� �
objet
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
croit
WarmTemperature
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
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 2174-2188
Processus
est une
instance
de
Tornado
entit�
est une
instance
de
EF5
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 200.0
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
ThreeSecondGustSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 2079-2097
Processus
est une
instance
de
Tornado
SpeedScaleAttribute
est une
instance
de
EFScaleAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
MilesPerHour
(s) and
nombre r�el
MilesPerHour
(s)
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
ThreeSecondGustSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15446-15453
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
FactualText
agent cognitif
est l'
auteur
de
objet exprimant un sens
ContentBearingPhysical
classe
le contenu de
formule
formule
est une
instance
de
formule
agent cognitif
croit
formule
(=>
(
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 15477-15486
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
FictionalText
agent cognitif
est l'
auteur
de
objet exprimant un sens
formule
ContentBearingPhysical
classe
le contenu de
formule
formule
est une
instance
de
formule
agent cognitif
ne
croit
%n{pas}
formule
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 212-218
Processus
est une
instance
de
Threatening
entit�
est un
patient
de
processus
processus
aboutit
�
agent cognitif
agent cognitif
croit
Dangerous
est un
attribut
de
entit�
(=>
(
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 472-484
Processus
est une
instance
de
Wind
entit�
est une
instance
de
BeaufortNumber12
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 73.0
agent cognitif
croit
surfaceWindSpeed
objet
and
nombre r�el
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 337-354
Processus
est une
instance
de
Wind
SpeedScaleAttribute
est une
instance
de
BeaufortNumberAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
surfaceWindSpeed
objet
and
nombre r�el
unit� de mesure
(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