holdsDuring
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
Wenn
agreementEffectiveDate
Agreement
and
TimePoint
und
** Agreement
erlaubt
CognitiveAgent
, die Aufgabe der Art von
Formula
durchzuf�hren %n{nicht} und
TimePosition
ist ein
fall
von
** TimePoint
%n{nicht},
dann
** CognitiveAgent
hat das
Recht
,
** Formula
durchzufuehren %n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 766-772
Wenn
agreementEffectiveDuring
Proposition
and
** TimePosition
und
** TimePosition
ist ein
fall
von
** TimePosition
%n{nicht} und
Formula
ist ein
fall
von
Formula
%n{nicht} und
** Formula
enthaelt Informationen ueber
** Proposition
,
dann
** Formula
haelt
waehrend
** ** TimePosition
%n{nicht}
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
Wenn
agreementPeriod
Agreement
and
TimeInterval
und
agreementEffectiveDate
** Agreement
and
TimePoint
,
dann
** Agreement
hat ein
attribut
ActiveAgreement
%n{nicht} haelt
waehrend
TimePeriodFn
** TimePoint
and
** TimeInterval
%n{nicht}
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
Wenn
Muslim
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
wert
von dem Eigentum von
** AutonomousAgent
ist gleich
CurrencyMeasure
%n{nicht},
dann die Aussage es gibt
entity
,
** entity
,, ,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Zakat
%n{nicht} und
** ** entity
ist ein
fall
von
Year
%n{nicht} und
** ** entity
geschieht
waehrend
die
zeit
des Bestehens von
** AutonomousAgent
%n{nicht} und
FullyFormed
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
wert
von
** ** entity
ist
** ** entity
** ** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** ** entity
ist
groesserAls
** CurrencyMeasure
und 0.025 %n{nicht} hat die modale Kraft von
Obligation
(=>
(
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
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18728-18737
Wenn
CollegeFreshman
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
1 %n{nicht}
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18743-18753
Wenn
CollegeJunior
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
2 %n{nicht} und
** RealNumber
ist
kleinerAls
3 %n{nicht}
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18759-18769
Wenn
CollegeSenior
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
3 %n{nicht} und
** RealNumber
ist
kleinerAls
4 %n{nicht}
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18775-18785
Wenn
CollegeSophomore
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
1 %n{nicht} und
** RealNumber
ist
kleinerAls
2 %n{nicht}
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
Wenn
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
Entity
ist ein
fall
von
** PureSubstance
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht},
dann
Gas
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} oder es gibt
Process
um
** TimeInterval
deckt
sich mit die
zeit
des Bestehens von
** Process
%n{nicht} und
** Process
ist ein
fall
von
Boiling
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht}
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
Wenn
breathingRate
AutonomousAgent
,
TimeInterval
and
Integer
und
** TimeInterval
ist ein
fall
von
Minute
%n{nicht} und es gibt nicht
** Integer
um
** Integer
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Integer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
geschieht
waehrend
die
zeit
des Bestehens von
** Integer
%n{nicht} und
HumanAdult
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und
** Integer
ist
groesserAls
16 %n{nicht} oder
** Integer
ist
kleinerAls
12 %n{nicht},
dann
Healthy
ist ein
attribut
von
** AutonomousAgent
nicht haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
Wenn
climateTypeInArea
GeographicArea
and
PolarTypeFClimateZone
und
TimePosition
ist ein
fall
von
TimePosition
%n{nicht} und
airTemperature
** GeographicArea
and
entity
CelsiusDegree
(s) haelt
waehrend
** TimePosition
%n{nicht},
dann 10.0 ist
groesserAls
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20734-20743
Wenn
directed
Human
and
MotionPicture
und
Process
ist ein
fall
von
FilmMaking
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
leader
** AutonomousAgent
and
** Human
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** MotionPicture
ist ein
resultat
von
** Process
%n{nicht},
dann
FilmDirector
ist ein
attribut
von
** Human
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT)))))
Economy.kif 2112-2121
Wenn
electricityConsumptionInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityConsumption
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT)))))
Economy.kif 2156-2165
Wenn
electricityExportInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityExport
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT)))))
Economy.kif 2202-2211
Wenn
electricityImportInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityImport
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT)))))
Economy.kif 1980-1989
Wenn
electricityProductionInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityProduction
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT)))))
Economy.kif 2277-2286
Wenn
exportTotalInPeriod
GeopoliticalArea
,
CurrencyMeasure
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualExportTotal
** GeopoliticalArea
and
** CurrencyMeasure
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
Wenn
governmentType
AutonomousAgent
and
Monarchy
und
Organism
ist ein
fall
von
Human
%n{nicht} und
** Organism
ist ein
fall
von
Human
%n{nicht} und
chiefOfState
** AutonomousAgent
,
entity
and
** Organism
haelt
waehrend
TimeInterval
%n{nicht} und
** Organism
und
** ** Organism
sind
verwandt
und
** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht},
dann die Aussage
chiefOfState
** AutonomousAgent
,
** entity
and
** ** Organism
haelt
waehrend
** ** TimeInterval
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
Wenn
LateralRecumbant
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist
On
hinsichlich
** Object
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
** Object
ist ein
fall
von
LeftArm
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
RightArm
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
LeftLeg
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
RightLeg
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
schliesst
** ** Object
raeumlich an oder
** ** Object
schliesst
** ** Object
raeumlich an,
dann
** ** Object
schliesst
** ** Object
raeumlich nicht an und
** ** Object
schliesst
** ** Object
raeumlich nicht an haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
Wenn
LateralRecumbant
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist
On
hinsichlich
** Object
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
** Object
ist ein
fall
von
LeftArm
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
RightArm
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
LeftLeg
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
RightLeg
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
schliesst
** ** Object
raeumlich an oder
** ** Object
schliesst
** ** Object
raeumlich an,
dann
** ** Object
schliesst
** ** Object
raeumlich nicht an und
** ** Object
schliesst
** ** Object
raeumlich nicht an haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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 1500-1512
Wenn
ChronicFatigueSyndrome
ist ein
attribut
von
AutonomousAgent
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
Process
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht},
dann die Aussage
PostExertionalMalaise
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** TimeInterval
2 %n{nicht} und die
zeit
des Bestehens von
** Process
geschieht frueh als
** TimeInterval
2 %n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
Wenn
entity
besitzt
Object
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** entity
besitzt
** ** Object
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
entity
%n{nicht} und
** entity
wohnt in
** entity
und
** ** entity
befindet
sich an %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
,
** entity
-PLACE, and und
** ** entity
-RES um
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** ** entity
-RES ist ein
fall
von
Object
%n{nicht} und
** ** entity
-PLACE ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** ** entity
-RES
befindet
sich an %n{nicht} und
** GeographicArea
ist gleich
** ** entity
-PLACE nicht und
** ** entity
ist gleich
** ** entity
-RES nicht und
geographicSubregion
** GeographicArea
and
** ** entity
-PLACE und
geographicSubregion
** ** entity
-PLACE and
** GeographicArea
und
** entity
wohnt in
** ** entity
-RES haelt
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
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
entity
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann es gibt
** entity
und
** TimeInterval
um
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
causesProposition
fears
** entity
and
** ** entity
haelt
waehrend
** ** TimeInterval
%n{nicht} and
InternallyDisplacedPerson
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{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