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
believes
の数値 1 引数は
認識エージェント
の
instance
では %n
(
domain
believes
2
Formula
)
Merge.kif 2811-2811
believes
の数値 2 引数は
公式
の
instance
では %n
(
instance
believes
BinaryPredicate
)
Merge.kif 2808-2808
believes
は
2進述語
の
instance
では %n
(
instance
believes
PropositionalAttitude
)
Merge.kif 2807-2807
believes
は
命題態度
の
instance
では %n
(
subrelation
believes
inScopeOfInterest
)
Merge.kif 2809-2809
believes
は
inScopeOfInterest
の
subrelation
では %n
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
工程
は
Hurricane
の
instance
では %n
エンティティー
は
SSHWS5
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 157.0 より
greater
では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
Mean1MinuteWindSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Hurricane
の
instance
では %n
SpeedScaleAttribute
は
SSHWSAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
測定単位
(s) は
Mean1MinuteWindSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Tornado
の
instance
では %n
エンティティー
は
EF5
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 200.0 より
greater
では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Tornado
の
instance
では %n
SpeedScaleAttribute
は
EFScaleAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
MilesPerHour
(s) and
実数
の
MilesPerHour
(s)
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Wind
の
instance
では %n
エンティティー
は
BeaufortNumber12
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 73.0 より
greater
では %n
認識エージェント
は
surfaceWindSpeed
オブジェクト
and
実数
の
MilesPerHour
(s) を
believe
s %n{ない}
(=>
(
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
工程
は
Wind
の
instance
では %n
SpeedScaleAttribute
は
BeaufortNumberAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
surfaceWindSpeed
オブジェクト
and
実数
の
測定単位
(s) を
believe
s %n{ない}
(=>
(
believes
?AGENT ?FORMULA)
(
exists
(?TIME)
(
holdsDuring
?TIME
(
considers
?AGENT ?FORMULA))))
Merge.kif 2817-2821
認識エージェント
は
公式
を
believe
s %n{ない}
時間位置
認識エージェント
は
公式
を
consider
s %n{ない} は
時間位置
の
during
holds %n{ない}
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
属性
は
オブジェクト
の
attribute
では %n
属性
は
主観評価属性
の
instance
では %n
時間位置
工程
and
AutonomousAgent
工程
は
Judging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
属性
は
オブジェクト
の
attribute
では %n は
工程
の
result
では %n
AutonomousAgent
は
オブジェクト
には
attribute
属性
%n{ない} を
believe
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
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
工程
は
Demonstration
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
は
AutonomousAgent
の
member
では %n
認識エージェント
は
AutonomousAgent
の
member
では %n
公式
認識エージェント
は
公式
を
believe
s %n{ない}
認識エージェント
は
公式
を
believe
s %n{ない}
(=>
(
and
(
instance
?DAMAGE
Damaging
)
(
agent
?DAMAGE ?PROP)
(
destination
?DAMAGE ?DEST)
(
instance
?DEST
CognitiveAgent
))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 228-235
工程
は
損害を与える
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
認識エージェント
に
end
s %n{ない}
認識エージェント
は
認識エージェント
の
instance
では %n
認識エージェント
は
Dangerous
は
AutonomousAgent
の
attribute
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Deciding
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
セット
は
セット
の
instance
では %n
セット
は
工程
の
patient
では %n
エンティティー
は
セット
の
element
%n
認識エージェント
は
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
意図的なプロセス
の
subclass
では %n
認識エージェント
は
エンティティー
を
agent
として行う
capable
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Exfiltration
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
エンティティー
工程
は
ふり
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
は
工程
0
工程
0 は
工程
と
equal
では %n を
believe
s %n{ない} の 目的 %n{ない}
(=>
(
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
工程
は
Evacuation
の
instance
では %n
工程
は
地理的地域
から
originate
s %n{ない}
認識エージェント
は
工程
の
agent
では %n
工程
工程
は
工程
の
instance
では %n
geographicSubregion
地理的地域
and
工程
が
工程
の
time
の existence の
beginning
に
where
場所
工程
は
工程
を
cause
s %n{ない}
認識エージェント
は
Dangerous
は
工程
の
attribute
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
工程
の
instance
では %n
人[人間]
は
AutonomousAgent
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
treatedUser
人[人間]
and
Experimenting
experimentalVariableProcess
Experimenting
and
工程
人[人間]
が
工程
を
experience
s %n{ない}
人[人間]
が
工程
を
experience
s %n{ない}
exclusiveEvent
Experimenting
and
工程
Experimenting
ERIMENTER
Experimenting
ERIMENTER は
AutonomousAgent
の
instance
では %n
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER は ステートメント
工程
は
工程
を
cause
s %n{ない} には
Likely
の
modal
force
が ある を
believe
s %n{ない}
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2326-2333
認識エージェント
は
PoliticalPressureGroup
の
instance
では %n
認識エージェント
は
公式
の 目的 %n{ない}
agentOperatesInArea
認識エージェント
and
地理的地域
地理的地域
は
国民
の
instance
では %n
認識エージェント
が
地理的地域
の
government
は
公式
を
believe
s %n{ない} を
desire
s %n{ない}
(=>
(
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
工程
は
Hurricane
の
instance
では %n
エンティティー
は
SSHWS5
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 157.0 より
greater
では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
Mean1MinuteWindSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Hurricane
の
instance
では %n
SpeedScaleAttribute
は
SSHWSAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
測定単位
(s) は
Mean1MinuteWindSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Interpreting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
AutonomousAgent
は
エンティティー
は
エンティティー
の情報を
contain
s %n{ない} を
believe
s %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
工程
は
Judging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
AutonomousAgent
は
エンティティー
を
believe
ない は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
を
believe
s %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
工程
は
Misdiagnosing
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
認識エージェント
IS
containsFormula
工程
and
認識エージェント
IS は
エンティティー
の
attribute
では %n
認識エージェント
IS は
病気または症候群
の
instance
では %n
認識エージェント
は
認識エージェント
IS は
エンティティー
の
attribute
では %n を
believe
s %n{ない}
認識エージェント
IS は
エンティティー
の
attribute
では %n
is
False
%n
(=>
(
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
工程
は
Nausea
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
認識エージェント
は
エンティティー
エンティティー
は
Vomiting
の
instance
では %n
認識エージェント
が
エンティティー
を
experience
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない} を
believe
s %n{ない}
(=>
(
and
(
instance
?STATE
Stating
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?FORMULA)
(
instance
?FORMULA
Formula
))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT ?FORMULA)))
Merge.kif 13188-13194
工程
は
記載
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
公式
の
instance
では %n
AutonomousAgent
は
エンティティー
を
believe
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 915-922
工程
は
TellingALie
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
MENT は
工程
の
patient
では %n
AutonomousAgent
は
工程
MENT
is
False
%n を
believe
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
工程
は
TemperatureFallingExperiencedAsFeelingCold
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
ColdTemperature
は
オブジェクト
の
attribute
では %n を
believe
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
工程
は
TemperatureRisingExperiencedAsFeelingWarm
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
WarmTemperature
は
オブジェクト
の
attribute
では %n を
believe
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
工程
は
Tornado
の
instance
では %n
エンティティー
は
EF5
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 200.0 より
greater
では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Tornado
の
instance
では %n
SpeedScaleAttribute
は
EFScaleAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
MilesPerHour
(s) and
実数
の
MilesPerHour
(s)
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15446-15453
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
コンテンツベアリングオブジェクト
は
FactualText
の
subclass
では %n
認識エージェント
は
コンテンツベアリングオブジェクト
の
author
では %n
ContentBearingPhysical
は
公式
の コンテンツを
subsume
s %n{ない}
公式
は
公式
の
instance
では %n
認識エージェント
は
公式
を
believe
s %n{ない}
(=>
(
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
は
コンテンツベアリングオブジェクト
の
instance
では %n
コンテンツベアリングオブジェクト
は
FictionalText
の
subclass
では %n
認識エージェント
は
コンテンツベアリングオブジェクト
の
author
では %n
公式
ContentBearingPhysical
は
公式
の コンテンツを
subsume
s %n{ない}
公式
は
公式
の
instance
では %n
認識エージェント
は
公式
を
believe
ない
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 212-218
工程
は
Threatening
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
認識エージェント
に
end
s %n{ない}
認識エージェント
は
Dangerous
は
エンティティー
の
attribute
では %n を
believe
s %n{ない}
(=>
(
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
工程
は
Wind
の
instance
では %n
エンティティー
は
BeaufortNumber12
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
エンティティー
%n{ない} を
believe
s %n{ない}
実数
実数
は 73.0 より
greater
では %n
認識エージェント
は
surfaceWindSpeed
オブジェクト
and
実数
の
MilesPerHour
(s) を
believe
s %n{ない}
(=>
(
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
工程
は
Wind
の
instance
では %n
SpeedScaleAttribute
は
BeaufortNumberAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
surfaceWindSpeed
オブジェクト
and
実数
の
測定単位
(s) を
believe
s %n{ない}
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