holdsDuring
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 6856-6863
Wenn
Wesen
ist ein
attribut
von
** Wesen
haelt
waehrend
Zeitabstand
und
** ** Wesen
ist ein
fall
von
ChronicDisease
und
dauer
von
** Zeitabstand
ist
reelle Zahl
,
dann
** reelle Zahl
ist
groesserAls
3
MonthDuration
(s)
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6488-6500
Wenn
AVPUPainStatus
ist ein
attribut
von
AutonomousAgent
haelt
waehrend
Zeitabstand
und
Prozess
ist ein
fall
von
Pain
und die
zeit
des Bestehens von
** Prozess
geschieht
waehrend
** Zeitabstand
und
** AutonomousAgent
erfaehrt
** Prozess
,
dann es gibt
** Prozess
um
** ** Prozess
ist ein
fall
von
Koerperbewegung
und
** AutonomousAgent
erfaehrt
** ** Prozess
und die
zeit
des Bestehens von
** ** Prozess
geschieht
waehrend
** Zeitabstand
und
** Prozess
verursacht
** ** Prozess
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6465-6477
Wenn
AVPUVerbalStatus
ist ein
attribut
von
AutonomousAgent
haelt
waehrend
Zeitabstand
und
Prozess
ist ein
fall
von
Speaking
und
** Prozess
endet an
** AutonomousAgent
und die
zeit
des Bestehens von
** Prozess
geschieht
waehrend
** Zeitabstand
,
dann es gibt
** Prozess
um
** ** Prozess
ist ein
fall
von
absichlicher Prozess
und
** ** Prozess
ist der
agent
von
** AutonomousAgent
und die
zeit
des Bestehens von
** ** Prozess
geschieht
waehrend
** Zeitabstand
und
** Prozess
verursacht
** ** Prozess
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1492-1504
Wenn
ChronicFatigueSyndrome
ist ein
attribut
von
AutonomousAgent
haelt
waehrend
Zeitabstand
und
Prozess
ist ein
fall
von
Erholung oder Uebung
und
** Prozess
ist der
agent
von
** AutonomousAgent
und die
zeit
des Bestehens von
** Prozess
geschieht
waehrend
** Zeitabstand
,
dann die Aussage
PostExertionalMalaise
ist ein
attribut
von
** AutonomousAgent
haelt
waehrend
** Zeitabstand
2 und die
zeit
des Bestehens von
** Prozess
geschieht frueh als
** Zeitabstand
2 hat die modale Kraft von
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3227-3241
Wenn
Booting
ist ein
attribut
von
Technikbestandteil
haelt
waehrend
koerperlicher Gegenstand
und
HostReady
ist ein
attribut
von
** Technikbestandteil
haelt
waehrend
** koerperlicher Gegenstand
2 und
** koerperlicher Gegenstand
2 ist gleich sofort
nach
die
zeit
des Bestehens von
** koerperlicher Gegenstand
und
** Technikbestandteil
ist ein
fall
von
ComputerDisplay
und
** ** Technikbestandteil
wird mit
** Technikbestandteil
angeschlossen,
dann die Aussage es gibt
Wesen
um
** Wesen
ist ein
fall
von
HomeScreen
und
displayedUpon
** Wesen
and
** ** Technikbestandteil
hat die modale Kraft von
Likely
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 486-495
Wenn
AutonomousAgent
wuenscht
Dead
ist ein
attribut
von
Wesen
haelt
waehrend
Zeitabstand
und
** AutonomousAgent
URDER ist ein
fall
von
Murder
und
** AutonomousAgent
URDER ist der
agent
von
** AutonomousAgent
und
** Wesen
ist ein
patient
von
** AutonomousAgent
URDER und
** Zeitabstand
geschieht frueh als die
zeit
des Bestehens von
** AutonomousAgent
URDER ,
dann
Premeditated
ist ein
attribut
von
** AutonomousAgent
URDER
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2551-2567
Wenn das
mass
von
Gegenstand
ist
Funktionsquantitaet
haelt
waehrend
Zeitposition
und
engineIdleSpeed
InternalCombustionEngine
and
** Funktionsquantitaet
und
** Gegenstand
ist ein
fall
von
Automobile
und
** InternalCombustionEngine
ist ein
teil
von
** ** Gegenstand
und
** Gegenstand
ist ein
teil
von
** InternalCombustionEngine
,
dann die Aussage es gibt nicht
Wesen
und
** Wesen
um
** Wesen
geschieht
waehrend
** Zeitposition
und
** Wesen
ist ein
fall
von
Pushing
und
** Wesen
endet an
** ** Wesen
und
** ** Wesen
ist ein
teil
von
** ** Gegenstand
hat die modale Kraft von
Likely
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4285-4291
Wenn
Wesen
besitzt
Gegenstand
haelt
waehrend
Zeitposition
und
** Gegenstand
ist ein
teil
von
** Gegenstand
,
dann
** Wesen
besitzt
** ** Gegenstand
haelt
waehrend
** Zeitposition
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME_NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME_NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME_NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Wenn
Expellee
ist ein
attribut
von
Wesen
und
** Wesen
ist der
buerger
von
** Wesen
_NATION haelt
waehrend
Zeitposition
und
** Zeitposition
ist ein
fall
von
Zeitabstand
,
dann es gibt
Prozess
und
Gegenstand
um
** Gegenstand
ist ein
fall
von
Nation
und
** Gegenstand
ist gleich
** ** Wesen
_NATION nicht und
** Prozess
ist ein
fall
von
Translocation
und
** Prozess
beginnet an
** Gegenstand
und
** Wesen
ist ein
patient
von
** Prozess
und
** Prozess
endet an
** ** Wesen
_NATION und
** Zeitposition
ist ein
teil
von die
zeit
des Bestehens von
** Prozess
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR_PLACE ?PRIOR_RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR_RES
Object
)
(
instance
?PRIOR_PLACE
GeopoliticalArea
)
(
located
?PRIOR_RES ?PRIOR_PLACE)
(
not
(
equal
?PLACE ?PRIOR_PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR_RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR_PLACE))
(
not
(
geographicSubregion
?PRIOR_PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR_RES)))))
MilitaryPersons.kif 26-47
Wenn
DislocatedCivilian
ist ein
attribut
von
Wesen
und
** Wesen
wohnt in
** Wesen
und
** ** Wesen
befindet
sich an haelt
waehrend
Zeitabstand
und
geographischer Bereich
ist ein
fall
von
geographischer Bereich
und
** Zeitabstand
ist ein
fall
von
Zeitabstand
,
dann es gibt
** Zeitabstand
,
** Wesen
_PLACE, and und
** ** Wesen
_RES um
** ** Zeitabstand
ist ein
fall
von
Zeitabstand
und
** ** Zeitabstand
geschieht frueh als
** Zeitabstand
und
** ** Wesen
_RES ist ein
fall
von
Gegenstand
und
** ** Wesen
_PLACE ist ein
fall
von
geopolitischer Bereich
und
** ** Wesen
_RES
befindet
sich an und
** geographischer Bereich
ist gleich
** ** Wesen
_PLACE nicht und
** ** Wesen
ist gleich
** ** Wesen
_RES nicht und
geographicSubregion
** geographischer Bereich
and
** ** Wesen
_PLACE und
geographicSubregion
** ** Wesen
_PLACE and
** geographischer Bereich
und
** Wesen
wohnt in
** ** Wesen
_RES haelt
waehrend
** ** Zeitabstand
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 25535-25549
Wenn
Menopausal
ist ein
attribut
von
AutonomousAgent
haelt
waehrend
Zeitabstand
und
reelle Zahl
ist gleich (1
YearDuration
(s) und der
anfang
von
** Zeitabstand
) und
** Zeitabstand
ist gleich
abstand
zwischen
** ** Zeitabstand
und der
anfang
von
** Zeitabstand
,
dann es gibt nicht
Prozess
um
** Prozess
ist ein
fall
von
Menstruation
und
** AutonomousAgent
erfaehrt
** Prozess
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 32596-32617
Wenn
Dieting
ist ein
attribut
von
AutonomousAgent
haelt
waehrend
Zeitabstand
und
Dieting
ist ein
attribut
von
** AutonomousAgent
nicht haelt
waehrend
** Zeitabstand
und
Gegenstand
ist ein
fall
von
Meal
und
Prozess
ist ein
fall
von
Essen
und
** Prozess
ist der
agent
von
** AutonomousAgent
und
** Gegenstand
ist ein
hilfmittel
fuer
** Prozess
und die
zeit
des Bestehens von
** Prozess
geschieht
waehrend
** Zeitabstand
und das
mass
von
** Gegenstand
ist
reelle Zahl
Calorie
(s) und
** Gegenstand
ist ein
fall
von
Meal
und
** Prozess
ist ein
fall
von
Essen
und
** ** Prozess
ist der
agent
von
** AutonomousAgent
und
** ** Gegenstand
ist ein
hilfmittel
fuer
** ** Prozess
und die
zeit
des Bestehens von
** ** Prozess
geschieht
waehrend
** ** Zeitabstand
und das
mass
von
** ** Gegenstand
ist
** reelle Zahl
Calorie
(s) ,
dann die Aussage
** ** reelle Zahl
ist
groesserAls
** reelle Zahl
hat die modale Kraft von
Likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
Wenn
Evacuee
ist ein
attribut
von
AutonomousAgent
haelt
waehrend
Zeitabstand
und
** Zeitabstand
ist ein
fall
von
Zeitabstand
,
dann es gibt
Prozess
und
** AutonomousAgent
um
** Prozess
ist ein
fall
von
Evacuation
und
** Prozess
ist der
agent
von
** ** AutonomousAgent
und
** ** AutonomousAgent
ist ein
fall
von
MilitaryOrganization
und
** AutonomousAgent
erfaehrt
** Prozess
und die
zeit
des Bestehens von
** Prozess
geschieht frueh als
** Zeitabstand
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))
(
instance
?T1
TimeInterval
))
(
exists
(?SITUATION ?T0)
(
and
(
earlier
?T0 ?T1)
(
causesProposition
(
holdsDuring
?T0
(
fears
?P ?SITUATION))
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))))))
MilitaryPersons.kif 101-111
Wenn
InternallyDisplacedPerson
ist ein
attribut
von
Wesen
haelt
waehrend
Zeitabstand
und
** Zeitabstand
ist ein
fall
von
Zeitabstand
,
dann es gibt
** Wesen
und
** Zeitabstand
um
** ** Zeitabstand
geschieht frueh als
** Zeitabstand
und
causesProposition
fears
** Wesen
and
** ** Wesen
haelt
waehrend
** ** Zeitabstand
and
InternallyDisplacedPerson
ist ein
attribut
von
** Wesen
haelt
waehrend
** Zeitabstand
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
Wenn
StatelessPerson
ist ein
attribut
von
Wesen
haelt
waehrend
Zeitposition
und
** Wesen
ist ein
fall
von
Nation
,
dann nicht
** Wesen
ist der
buerger
von
** ** Wesen
haelt
waehrend
** Zeitposition
(=>
(
and
(
holdsDuring
?T1
(
legalRelation
?A1 ?A2))
(
instance
?A1
Organism
)
(
instance
?A2
Organism
))
(
holdsDuring
?T1
(
relative
?A1 ?A2)))
Merge.kif 16499-16504
Wenn
legalRelation
Wesen
and
** Wesen
haelt
waehrend
Zeitposition
und
** Wesen
ist ein
fall
von
Organismus
und
** ** Wesen
ist ein
fall
von
Organismus
,
dann
relative
** Wesen
and
** ** Wesen
haelt
waehrend
** Zeitposition
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 8729-8736
Wenn
Wesen
ist ein
Mitglied
von
** Wesen
haelt
waehrend
Zeitposition
und
** Wesen
ist ein
fall
von
Mensch
und
** ** Wesen
ist ein
fall
von
GroupOfPeople
,
dann
groupMember
** Wesen
and
** ** Wesen
haelt
waehrend
** Zeitposition
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1902-1906
Wenn
Wesen
veroeffentlicht
Kategorie
haelt
waehrend
Zeitposition
und
** Kategorie
ist eine
teilkategorie
von
Buch
,
dann
BookPublishers
ist ein
attribut
von
** Wesen
haelt
waehrend
** Zeitposition
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1890-1894
Wenn
Wesen
veroeffentlicht
Kategorie
haelt
waehrend
Zeitposition
und
** Kategorie
ist eine
teilkategorie
von
MusicalComposition
,
dann
MusicPublishers
ist ein
attribut
von
** Wesen
haelt
waehrend
** Zeitposition
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1914-1918
Wenn
Wesen
veroeffentlicht
Kategorie
haelt
waehrend
Zeitposition
und
** Kategorie
ist eine
teilkategorie
von
Newspaper
,
dann
NewspaperPublishers
ist ein
attribut
von
** Wesen
haelt
waehrend
** Zeitposition
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1908-1912
Wenn
Wesen
veroeffentlicht
Kategorie
haelt
waehrend
Zeitposition
und
** Kategorie
ist eine
teilkategorie
von
Zeitschrift
,
dann
PeriodicalPublishers
ist ein
attribut
von
** Wesen
haelt
waehrend
** Zeitposition
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1896-1900
Wenn
Wesen
veroeffentlicht
Kategorie
haelt
waehrend
Zeitposition
und
** Kategorie
ist eine
teilkategorie
von
Text
,
dann
InformationIndustries
ist ein
attribut
von
** Wesen
haelt
waehrend
** Zeitposition
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 9139-9149
Wenn
spouse
Wesen
and
** Wesen
haelt
waehrend
Zeitabstand
und
** Zeitabstand
ist ein
fall
von
Zeitabstand
,
dann es gibt
Prozess
um
** Prozess
ist ein
fall
von
Wedding
und
** Wesen
ist ein
patient
von
** Prozess
und
** ** Wesen
ist ein
patient
von
** Prozess
und die
zeit
des Bestehens von
** Prozess
geschieht frueh als
** Zeitabstand
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3849-3856
Wenn
Formel
haelt
waehrend
Zeitabstand
und
** Formel
haelt
waehrend
** Zeitabstand
und
** ** Zeitabstand
ist ein
fall
von
Zeitabstand
und
** Zeitabstand
ist ein
fall
von
Zeitabstand
und
causesProposition
** ** Formel
and
** Formel
,
dann der
anfang
von
** ** Zeitabstand
geschieht
vor
oder gleichzeitig mit der
anfang
von
** Zeitabstand
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18390-18396
Wenn
Embryonic
ist ein
attribut
von
AutonomousAgent
haelt
waehrend
Zeitabstand
und
Prozess
ist ein
fall
von
Geburt
und
** Zeitabstand
ist gleich die
zeit
des Bestehens von
** Prozess
und
** AutonomousAgent
erfaehrt
** Prozess
,
dann
** ** Zeitabstand
deckt
sich mit
** Zeitabstand
nicht
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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