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
域
相信
, 1 and
CognitiveAgent
(
domain
believes
2
Formula
)
Merge.kif 2811-2811
域
相信
, 2 and
Formula
(
instance
believes
BinaryPredicate
)
Merge.kif 2808-2808
例
相信
and
BinaryPredicate
(
instance
believes
PropositionalAttitude
)
Merge.kif 2807-2807
例
相信
and
PropositionalAttitude
(
subrelation
believes
inScopeOfInterest
)
Merge.kif 2809-2809
子關係
相信
and
在感興趣的範圍內
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 2439-2453
例
Process
and
颶風
例
Entity
and
SSHWS5
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 157.0
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
(=>
(
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 2361-2380
例
Process
and
颶風
例
SpeedScaleAttribute
and
SSHWSAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
UnitOfMeasure
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
(=>
(
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 2187-2201
例
Process
and
龍捲風
例
Entity
and
EF5
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 200.0
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
ThreeSecondGustSpeedFn
Object
and
何時
Process
(=>
(
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 2092-2110
例
Process
and
龍捲風
例
SpeedScaleAttribute
and
EFScaleAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
MilesPerHour
and
測量
RealNumber
and
MilesPerHour
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
ThreeSecondGustSpeedFn
Object
and
何時
Process
(=>
(
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
例
Process
and
風
例
Entity
and
BeaufortNumber12
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 73.0
相信
CognitiveAgent
and
測量
RealNumber
and
MilesPerHour
是
Object
的
surface
風速
(=>
(
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
例
Process
and
風
例
SpeedScaleAttribute
and
BeaufortNumberAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
測量
RealNumber
and
UnitOfMeasure
是
Object
的
surface
風速
(=>
(
believes
?AGENT ?FORMULA)
(
exists
(?TIME)
(
holdsDuring
?TIME
(
considers
?AGENT ?FORMULA))))
Merge.kif 2817-2820
相信
CognitiveAgent
and
Formula
TimePosition
持有期間
TimePosition
and
考慮
CognitiveAgent
and
Formula
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 17354-17367
attribute
Object
and
Attribute
例
Attribute
and
SubjectiveAssessmentAttribute
TimePosition
Process
and
AutonomousAgent
例
Process
and
判斷
agent
Process
and
AutonomousAgent
患者
Process
and
Object
結果
Process
and
attribute
Object
and
Attribute
持有期間
TimePosition
and
相信
AutonomousAgent
and
屬性
Object
and
Attribute
(=>
(
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
例
Process
and
示範
agent
Process
and
AutonomousAgent
會員
CognitiveAgent
and
AutonomousAgent
會員
CognitiveAgent
and
AutonomousAgent
Formula
相信
CognitiveAgent
and
Formula
相信
CognitiveAgent
and
Formula
(=>
(
and
(
instance
?DAMAGE
Damaging
)
(
agent
?DAMAGE ?PROP)
(
destination
?DAMAGE ?DEST)
(
instance
?DEST
CognitiveAgent
))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 228-235
例
Process
and
Damaging
agent
Process
and
AutonomousAgent
目的地
Process
and
CognitiveAgent
例
CognitiveAgent
and
CognitiveAgent
相信
CognitiveAgent
and
attribute
AutonomousAgent
and
危險
(=>
(
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 12036-12048
例
Process
and
決定
agent
Process
and
CognitiveAgent
例
Set
and
Set
患者
Process
and
Set
元件
Entity
and
Set
相信
CognitiveAgent
and
entity
例
Entity
and
entity
子類
entity
and
IntentionalProcess
能力
entity
,
agent
and
CognitiveAgent
(=>
(
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
例
Process
and
滲出
agent
Process
and
AutonomousAgent
Process
Entity
例
Process
and
Pretending
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
有目的
Process
and
相信
Entity
and
Process
等於
Process
and
Process
(=>
(
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
例
Process
and
疏散
起源
Process
and
GeographicArea
agent
Process
and
CognitiveAgent
Process
例
Process
and
Process
GeographicArea
是
哪裡
Process
and
開始
何時
Process
的
geographic
次要地區
原因
Process
and
Process
相信
CognitiveAgent
and
attribute
Process
and
危險
(=>
(
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
例
Process
and
Process
例
Human
and
AutonomousAgent
例
試驗
and
試驗
Human
是個
treated
used
在
試驗
Process
在
試驗
的
process
體驗者
Process
and
Human
體驗者
Process
and
Human
試驗
causes
Process
試驗
ERIMENTER
例
試驗
ERIMENTER and
AutonomousAgent
試驗
ERIMENTER 是在
試驗
的
experimenter
相信
試驗
ERIMENTER and
模態屬性
原因
Process
and
Process
and
容易
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
例
CognitiveAgent
and
政治壓力集團
有目的
CognitiveAgent
and
Formula
GeographicArea
是
agent
運作在
CognitiveAgent
地區
例
GeographicArea
and
Nation
慾望
CognitiveAgent
and
相信
政府
GeographicArea
and
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 2439-2453
例
Process
and
颶風
例
Entity
and
SSHWS5
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 157.0
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
(=>
(
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 2361-2380
例
Process
and
颶風
例
SpeedScaleAttribute
and
SSHWSAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
UnitOfMeasure
and
Mean1MinuteWindSpeedFn
Object
and
何時
Process
(=>
(
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 10885-10892
例
Process
and
解讀
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
ContentBearingObject
entity
持有期間
結束
何時
Process
and
相信
AutonomousAgent
and
包含信息
Entity
and
entity
(=>
(
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 12114-12128
例
Process
and
判斷
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
持有期間
開始
何時
Process
and
相信
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
相信
AutonomousAgent
and
Entity
(=>
(
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
例
Process
and
Misdiagnosing
agent
Process
and
CognitiveAgent
參照
Process
and
Entity
例
Entity
and
Human
CognitiveAgent
IS
containsFormula
Process
and
attribute
Entity
and
CognitiveAgent
IS
例
CognitiveAgent
IS and
DiseaseOrSyndrome
相信
CognitiveAgent
and
attribute
Entity
and
CognitiveAgent
IS
真相
attribute
Entity
and
CognitiveAgent
IS and
假
(=>
(
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 21431-21442
例
Process
and
Nausea
體驗者
Process
and
CognitiveAgent
相信
CognitiveAgent
and
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
Vomiting
體驗者
entity
and
CognitiveAgent
(=>
(
and
(
instance
?STATE
Stating
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?FORMULA)
(
instance
?FORMULA
Formula
))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT ?FORMULA)))
Merge.kif 13164-13170
例
Process
and
Stating
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
Formula
持有期間
何時
Process
and
相信
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 922-929
例
Process
and
說謊
agent
Process
and
AutonomousAgent
患者
Process
and
Process
MENT
持有期間
何時
Process
and
相信
AutonomousAgent
and
真相
Process
MENT and
假
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
例
Process
and
TemperatureFallingExperiencedAsFeelingCold
位於
Process
and
Object
體驗者
Process
and
AutonomousAgent
持有期間
何時
Process
and
相信
AutonomousAgent
and
attribute
Object
and
ColdTemperature
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
例
Process
and
TemperatureRisingExperiencedAsFeelingWarm
位於
Process
and
Object
體驗者
Process
and
AutonomousAgent
持有期間
何時
Process
and
相信
AutonomousAgent
and
attribute
Object
and
WarmTemperature
(=>
(
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 2187-2201
例
Process
and
龍捲風
例
Entity
and
EF5
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 200.0
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
ThreeSecondGustSpeedFn
Object
and
何時
Process
(=>
(
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 2092-2110
例
Process
and
龍捲風
例
SpeedScaleAttribute
and
EFScaleAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
MilesPerHour
and
測量
RealNumber
and
MilesPerHour
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
等於
測量
RealNumber
and
MilesPerHour
and
ThreeSecondGustSpeedFn
Object
and
何時
Process
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15422-15429
例
內容承載物理
and
ContentBearingObject
子類
ContentBearingObject
and
事實文本
作者
CognitiveAgent
and
ContentBearingObject
包含內容實例
內容承載物理
and
Formula
例
Formula
and
Formula
相信
CognitiveAgent
and
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 15453-15462
例
內容承載物理
and
ContentBearingObject
子類
ContentBearingObject
and
虛構的文字
作者
CognitiveAgent
and
ContentBearingObject
Formula
包含內容實例
內容承載物理
and
Formula
例
Formula
and
Formula
相信
CognitiveAgent
and
Formula
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 212-218
例
Process
and
危險的
患者
Process
and
Entity
目的地
Process
and
CognitiveAgent
相信
CognitiveAgent
and
attribute
Entity
and
危險
(=>
(
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
例
Process
and
風
例
Entity
and
BeaufortNumber12
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
Entity
RealNumber
比較多
RealNumber
and 73.0
相信
CognitiveAgent
and
測量
RealNumber
and
MilesPerHour
是
Object
的
surface
風速
(=>
(
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
例
Process
and
風
例
SpeedScaleAttribute
and
BeaufortNumberAttribute
Process
是
located
在
Object
相信
CognitiveAgent
and
屬性
Process
and
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
測量
RealNumber
and
UnitOfMeasure
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
RealNumber
大於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
相信
CognitiveAgent
and
測量
RealNumber
and
UnitOfMeasure
是
Object
的
surface
風速
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