Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 2759-2761
(
domain
believes
1
CognitiveAgent
)
Merge.kif 2756-2756
(
domain
believes
2
Formula
)
Merge.kif 2757-2757
(
instance
believes
BinaryPredicate
)
Merge.kif 2754-2754
(
instance
believes
PropositionalAttitude
)
Merge.kif 2753-2753
(
subrelation
believes
inScopeOfInterest
)
Merge.kif 2755-2755
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
(
termFormat
ChineseLanguage
believes
"相信")
chinese_format.kif 62-62
(
termFormat
ChineseTraditionalLanguage
believes
"相信")
domainEnglishFormat.kif 10687-10687
(
termFormat
EnglishLanguage
believes
"believes")
domainEnglishFormat.kif 10686-10686
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 2442-2456
(=>
(
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 2364-2383
(=>
(
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 2190-2204
(=>
(
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 2095-2113
(=>
(
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
(=>
(
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
(=>
(
believes
?AGENT ?FORMULA)
(
exists
(?TIME)
(
holdsDuring
?TIME
(
considers
?AGENT ?FORMULA))))
Merge.kif 2763-2766
consequent
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
patient
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17085-17098
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?G)
(
member
?A1 ?G)
(
member
?A2 ?G))
(
exists
(?P)
(
and
(
believes
?A1 ?P)
(
believes
?A2 ?P))))
MilitaryProcesses.kif 2672-2681
(=>
(
and
(
instance
?DAMAGE
Damaging
)
(
agent
?DAMAGE ?PROP)
(
destination
?DAMAGE ?DEST)
(
instance
?DEST
CognitiveAgent
))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 228-235
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
(=>
(
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 2515-2529
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
Agent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
Agent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4561-4578
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2359-2366
(=>
(
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 2442-2456
(=>
(
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 2364-2383
(=>
(
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 10755-10762
(=>
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?PROPOSITION))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JUDGE))
(
not
(
believes
?AGENT ?PROPOSITION)))
(
holdsDuring
(
EndFn
(
WhenFn
?JUDGE))
(
believes
?AGENT ?PROPOSITION))))
Merge.kif 11875-11882
(=>
(
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 20751-20762
(=>
(
and
(
instance
?STATE
Stating
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?FORMULA)
(
instance
?FORMULA
Formula
))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT ?FORMULA)))
Merge.kif 12902-12908
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 887-894
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
(=>
(
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 2190-2204
(=>
(
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 2095-2113
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15131-15138
(=>
(
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 15162-15171
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 212-218
(=>
(
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
(=>
(
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
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 21592-21600
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsInformation
?INST ?PROP))
(
believes
?PARTY ?PROP))
Government.kif 2328-2335
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