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
Die Zahl 1 Argument von
glaubt
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
domain
believes
2
Formula
)
Merge.kif 2811-2811
Die Zahl 2 Argument von
glaubt
ist ein
fall
von
Formula
%n{nicht}
(
instance
believes
BinaryPredicate
)
Merge.kif 2808-2808
glaubt
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
believes
PropositionalAttitude
)
Merge.kif 2807-2807
glaubt
ist ein
fall
von
PropositionalAttitude
%n{nicht}
(
subrelation
believes
inScopeOfInterest
)
Merge.kif 2809-2809
glaubt
ist eine
teilrelation
von
imBereichInteresses
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
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
Entity
ist ein
fall
von
SSHWS5
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
157.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** RealNumber
MilesPerHour
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
SSHWSAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
** UnitOfMeasure
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
Entity
ist ein
fall
von
EF5
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
200.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
EFScaleAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
MilesPerHour
(s) and
** RealNumber
MilesPerHour
(s),
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
Entity
ist ein
fall
von
BeaufortNumber12
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
73.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
surfaceWindSpeed
** Object
and
** RealNumber
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
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
BeaufortNumberAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
surfaceWindSpeed
** Object
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
believes
?AGENT ?FORMULA)
(
exists
(?TIME)
(
holdsDuring
?TIME
(
considers
?AGENT ?FORMULA))))
Merge.kif 2817-2820
Wenn
CognitiveAgent
glaubt %n{nicht}, dass
Formula
,
dann es gibt
TimePosition
um
** CognitiveAgent
betrachtet
** Formula
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
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
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
SubjectiveAssessmentAttribute
%n{nicht},
dann es gibt
TimePosition
,
Process
, and und
AutonomousAgent
um
** Process
ist ein
fall
von
Judging
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Attribute
ist ein
attribut
von
** Object
%n{nicht} ist ein
resultat
von
** Process
%n{nicht} und
** AutonomousAgent
glaubt %n{nicht}, dass
** Object
hat ein
attribut
** Attribute
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Demonstration
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
CognitiveAgent
ist ein
Mitglied
von
** AutonomousAgent
%n{nicht} und
** CognitiveAgent
ist ein
Mitglied
von
** AutonomousAgent
%n{nicht},
dann es gibt
Formula
um
** CognitiveAgent
glaubt %n{nicht}, dass
** Formula
und
** ** CognitiveAgent
glaubt %n{nicht}, dass
** Formula
(=>
(
and
(
instance
?DAMAGE
Damaging
)
(
agent
?DAMAGE ?PROP)
(
destination
?DAMAGE ?DEST)
(
instance
?DEST
CognitiveAgent
))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 228-235
Wenn
Process
ist ein
fall
von
Damaging
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
CognitiveAgent
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass
Dangerous
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Deciding
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
Set
ist ein
fall
von
Set
%n{nicht} und
** Set
ist ein
patient
von
** Process
%n{nicht} und
Entity
ist ein
element
von
** Set
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass es gibt
** entity
um
** Entity
ist ein
fall
von
** ** entity
%n{nicht} und
** ** entity
ist eine
teilkategorie
von
IntentionalProcess
und
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
agent
** ** entity
zu tun
(=>
(
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
Wenn
Process
ist ein
fall
von
Exfiltration
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
** Process
und
Entity
um
** ** Process
ist ein
fall
von
Pretending
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
hat Zweck von
** Entity
glaubt %n{nicht}, dass es gibt nicht
** Process
0 um
** Process
0 ist gleich
** Process
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Evacuation
%n{nicht} und
** Process
beginnet an
GeographicArea
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Process
%n{nicht} und
geographicSubregion
** GeographicArea
and die Stelle
wo
** ** Process
an der
anfang
von die
zeit
des Bestehens von
** Process
war und
** ** Process
verursacht
** Process
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
Dangerous
ist ein
attribut
von
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Process
%n{nicht} und
Human
ist ein
fall
von
AutonomousAgent
%n{nicht} und
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
treatedUser
** Human
and
** Experimenting
und
experimentalVariableProcess
** Experimenting
and
** Process
und
** Human
erfaehrt
** Process
%n{nicht} und
** Human
erfaehrt
** Process
%n{nicht} und
exclusiveEvent
** Experimenting
and
** ** Process
,
dann es gibt
** Experimenting
ERIMENTER um
** Experimenting
ERIMENTER ist ein
fall
von
AutonomousAgent
%n{nicht} und
experimenter
** Experimenting
and
** Experimenting
ERIMENTER und
** Experimenting
ERIMENTER glaubt %n{nicht}, dass die Aussage
** Process
verursacht
** ** Process
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
Wenn
CognitiveAgent
ist ein
fall
von
PoliticalPressureGroup
%n{nicht} und
** CognitiveAgent
hat Zweck von
Formula
%n{nicht} und
agentOperatesInArea
** CognitiveAgent
and
GeographicArea
und
** GeographicArea
ist ein
fall
von
Nation
%n{nicht},
dann
** CognitiveAgent
wuenscht
GovernmentFn
** GeographicArea
glaubt %n{nicht}, dass
** Formula
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
Entity
ist ein
fall
von
SSHWS5
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
157.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** RealNumber
MilesPerHour
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
SSHWSAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
** UnitOfMeasure
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Interpreting
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
ContentBearingObject
%n{nicht},
dann es gibt
** entity
um
** AutonomousAgent
glaubt %n{nicht}, dass
** Entity
enthaelt Informationen ueber
** ** entity
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Judging
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** AutonomousAgent
glaubt nicht, dass
** Entity
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** AutonomousAgent
glaubt %n{nicht}, dass
** Entity
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Misdiagnosing
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
** Process
umfasst einen
hinweis
auf
Entity
und
** Entity
ist ein
fall
von
Human
%n{nicht},
dann es gibt
** CognitiveAgent
IS um
containsFormula
** Process
and
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} und
** CognitiveAgent
IS ist ein
fall
von
DiseaseOrSyndrome
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} und
truth
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} 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
Wenn
Process
ist ein
fall
von
Nausea
%n{nicht} und
CognitiveAgent
erfaehrt
** Process
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass es gibt
entity
um
** entity
ist ein
fall
von
Vomiting
%n{nicht} und
** CognitiveAgent
erfaehrt
** entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?STATE
Stating
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?FORMULA)
(
instance
?FORMULA
Formula
))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT ?FORMULA)))
Merge.kif 13142-13148
Wenn
Process
ist ein
fall
von
Stating
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Formula
%n{nicht},
dann
** AutonomousAgent
glaubt %n{nicht}, dass
** Entity
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 922-929
Wenn
Process
ist ein
fall
von
TellingALie
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
MENT ist ein
patient
von
** Process
%n{nicht},
dann
** AutonomousAgent
glaubt %n{nicht}, dass
truth
** Process
MENT and
False
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
Wenn
Process
ist ein
fall
von
TemperatureFallingExperiencedAsFeelingCold
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
** AutonomousAgent
glaubt %n{nicht}, dass
ColdTemperature
ist ein
attribut
von
Object
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
Wenn
Process
ist ein
fall
von
TemperatureRisingExperiencedAsFeelingWarm
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
** AutonomousAgent
glaubt %n{nicht}, dass
WarmTemperature
ist ein
attribut
von
Object
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
Entity
ist ein
fall
von
EF5
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
200.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
EFScaleAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
MilesPerHour
(s) and
** RealNumber
MilesPerHour
(s),
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15400-15407
Wenn
ContentBearingPhysical
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingObject
ist eine
teilkategorie
von
FactualText
und
CognitiveAgent
ist der
schreiber
von
** ** ContentBearingObject
und
** ContentBearingPhysical
fasst
das Inhalt von
Formula
zusammen und
** Formula
ist ein
fall
von
Formula
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass
** 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
Wenn
ContentBearingPhysical
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingObject
ist eine
teilkategorie
von
FictionalText
und
CognitiveAgent
ist der
schreiber
von
** ** ContentBearingObject
,
dann es gibt
Formula
um
** ContentBearingPhysical
fasst
das Inhalt von
** Formula
zusammen und
** Formula
ist ein
fall
von
Formula
%n{nicht} und
** CognitiveAgent
glaubt nicht, dass
** Formula
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 212-218
Wenn
Process
ist ein
fall
von
Threatening
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass
Dangerous
ist ein
attribut
von
** Entity
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
Entity
ist ein
fall
von
BeaufortNumber12
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
73.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
surfaceWindSpeed
** Object
and
** RealNumber
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
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
BeaufortNumberAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
surfaceWindSpeed
** Object
and
** ** RealNumber
** UnitOfMeasure
(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