part
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4066-4098
Wenn
Object
ist ein
fall
von
BimetalTemperatureSensor
%n{nicht} und
** Object
ist ein
fall
von
Metal
%n{nicht} und
** Object
ist ein
fall
von
Metal
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Entity
ist ein
fall
von
TemperatureMeasure
%n{nicht} und
** Entity
ist ein
fall
von
TemperatureMeasure
%n{nicht} und
RealNumber
ist ein
fall
von
LengthMeasure
%n{nicht} und
** RealNumber
ist ein
fall
von
LengthMeasure
%n{nicht} und
** RealNumber
ist ein
fall
von
LengthMeasure
%n{nicht} und
** RealNumber
ist ein
fall
von
LengthMeasure
%n{nicht} und
** Entity
ist gleich
** ** Entity
nicht und
TimePosition
ist gleich
** TimePosition
nicht und das
mass
von
** Object
ist
** Entity
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
%n{nicht} und das
mass
von
** ** Object
ist
** ** RealNumber
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und das
mass
von
** Object
ist
** ** Entity
%n{nicht} und das
mass
von
** ** Object
ist
** ** RealNumber
%n{nicht} und das
mass
von
** ** Object
ist
** ** RealNumber
%n{nicht} haelt
waehrend
** ** TimePosition
%n{nicht},
dann
** RealNumber
und
** ** RealNumber
ist gleich
** ** RealNumber
und
** ** RealNumber
nicht
(=>
(
and
(
instance
?C
Cam
)
(
instance
?CS
Camshaft
)
(
instance
?E
Engine
)
(
part
?C ?E)
(
part
?CS ?E))
(
hasPurpose
?CS
(
connectedEngineeringComponents
?C ?CS)))
Cars.kif 1666-1674
Wenn
Object
ist ein
fall
von
Cam
%n{nicht} und
** Object
S ist ein
fall
von
Camshaft
%n{nicht} und
** Object
ist ein
fall
von
Engine
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Object
S ist ein
teil
von
** ** Object
%n{nicht},
dann
** Object
S hat Zweck von
** Object
wird mit
** Object
S angeschlossen %n{nicht}
(=>
(
and
(
instance
?C
Cappuccino
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
approximateValue
?L 20.0)))
Food.kif 1285-1301
Wenn
Object
ist ein
fall
von
Cappuccino
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
MilkFoam
%n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
und
SelfConnectedObject
ist ein
teil
von
** ** Substance
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Bubble
%n{nicht} und die
oberseite
von
** ** Substance
ist
** SelfConnectedObject
und das
mass
von
** SelfConnectedObject
ist
** RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
and 0.15 und
approximateValue
** ** RealNumber
and 20.0
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
Wenn
Process
ist ein
fall
von
CheckingVitals
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht} und
Heart
ist ein
fall
von
Heart
%n{nicht} und
** Heart
ist ein
teil
von
** Object
%n{nicht} und
Lung
ist ein
fall
von
Lung
%n{nicht} und
** Lung
ist ein
teil
von
** Object
%n{nicht} und
systolicBloodPressure
** Object
and
entity
und
diastolicBloodPressure
** Object
and
** entity
und das
mass
von
** Object
ist
** entity
FahrenheitDegree
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
heartRate
** Heart
, die
zeit
des Bestehens von
** Process
and
Integer
und
breathingRate
** Lung
, die
zeit
des Bestehens von
** Process
and
** Integer
,
dann
** CognitiveAgent
kennt
systolicBloodPressure
** Object
and
** entity
und
diastolicBloodPressure
** Object
and
** ** entity
und das
mass
von
** Object
ist
** ** entity
FahrenheitDegree
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
heartRate
** Heart
, die
zeit
des Bestehens von
** Process
and
** Integer
und
breathingRate
** Lung
, die
zeit
des Bestehens von
** Process
and
** ** Integer
%n{nicht}
(=>
(
and
(
instance
?C
Chest
)
(
instance
?A
Animal
)
(
instance
?C ?A)
(
part
?C ?A))
(
exists
(?T)
(
and
(
instance
?T
Torso
)
(
part
?C ?T)
(
part
?T ?A))))
Mid-level-ontology.kif 11246-11256
Wenn
Object
ist ein
fall
von
Chest
%n{nicht} und
Class
ist ein
fall
von
Animal
%n{nicht} und
** Object
ist ein
fall
von
** Class
%n{nicht} und
** Object
ist ein
teil
von
** Class
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Torso
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Class
%n{nicht}
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
Wenn
Object
ist ein
fall
von
Chest
%n{nicht} und
** Object
ist ein
teil
von
SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist gleich die
rueckseite
von
** SelfConnectedObject
%n{nicht},
dann
** Object
ist ein
teil
von
** ** SelfConnectedObject
nicht
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1821-1839
Wenn
Object
ist ein
fall
von
Clutch
%n{nicht} und
** Object
ist ein
fall
von
Automobile
%n{nicht} und
** Object
ist ein
fall
von
Engine
%n{nicht} und
** Object
ist ein
fall
von
Gearbox
%n{nicht} und
** ** Object
EAR ist ein
fall
von
Gear
%n{nicht} und
** ** Object
EAR ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
Process
ist ein
fall
von
Motion
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
DeviceOff
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** Process
2 um
** Process
2 ist ein
fall
von
Motion
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
2 %n{nicht} und
** Process
verursacht
** Process
2 %n{nicht}
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1800-1819
Wenn
Object
ist ein
fall
von
Clutch
%n{nicht} und
** Object
ist ein
fall
von
Automobile
%n{nicht} und
** Object
ist ein
fall
von
Engine
%n{nicht} und
** Object
ist ein
fall
von
Gearbox
%n{nicht} und
** ** Object
EAR ist ein
fall
von
Gear
%n{nicht} und
** ** Object
EAR ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
Process
ist ein
fall
von
Motion
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
DeviceOn
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt nicht
** Process
2 um
** Process
2 ist ein
fall
von
Motion
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
2 %n{nicht} und
** Process
verursacht
** Process
2 %n{nicht}
(=>
(
and
(
instance
?C
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
Wenn
Object
ist ein
fall
von
CoffeeArabica
%n{nicht} und das
mass
von
** Object
ist
RealNumber
Gram
(s) %n{nicht} und
** Object
C ist ein
fall
von
Caffeine
%n{nicht} und
** Object
C ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** Object
C ist
** RealNumber
Gram
(s) %n{nicht} und
** RealNumber
ist gleich
** ** RealNumber
und
** RealNumber
%n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
0.008 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
0.014 %n{nicht}
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
Wenn
Object
ist ein
fall
von
CoffeeRobusta
%n{nicht} und das
mass
von
** Object
ist
RealNumber
Gram
(s) %n{nicht} und
** Object
C ist ein
fall
von
Caffeine
%n{nicht} und
** Object
C ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** Object
C ist
** RealNumber
Gram
(s) %n{nicht} und
** RealNumber
ist gleich
** ** RealNumber
und
** RealNumber
%n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
0.017 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
0.04 %n{nicht}
(=>
(
and
(
instance
?C
Colloid
)
(
part
?P ?C)
(
or
(
attribute
?P
Solid
)
(
attribute
?P
Liquid
))
(
instance
?AIR
Air
)
(
part
?AIR ?C))
(
instance
?C
Aerosal
))
Geography.kif 7545-7554
Wenn
Object
ist ein
fall
von
Colloid
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
Solid
ist ein
attribut
von
** ** Object
%n{nicht} oder
Liquid
ist ein
attribut
von
** ** Object
%n{nicht} und
** Object
ist ein
fall
von
Air
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** Object
ist ein
fall
von
Aerosal
%n{nicht}
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
Wenn
Object
ist ein
fall
von
CommonWheatGrass
%n{nicht} und
** Object
ELL ist ein
teil
von
** Object
%n{nicht} und
** Object
ELL ist ein
fall
von
** Object
LASS %n{nicht},
dann
** Object
LASS ist eine
teilkategorie
von
HexaploidCell
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
Wenn
Object
ist ein
fall
von
Crankshaft
%n{nicht} und
** Object
ist ein
fall
von
IntermittentCombustionEngine
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Explosion
%n{nicht} und
** ** entity
ist ein
fall
von
Rotating
%n{nicht} und
** Object
ist ein
patient
von
** ** entity
%n{nicht} und
eventLocated
** ** entity
and
** ** Object
und
** entity
verursacht
** ** entity
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?C
Cream
)
(
part
?C ?O1)
(
instance
?O1
ButterFat
)
(
measure
?O1
(
MeasureFn
?X
Gram
))
(
instance
?M
Milk
)
(
part
?M ?O2)
(
instance
?O2
ButterFat
)
(
measure
?O2
(
MeasureFn
?Y
Gram
)))
(
greaterThan
?X ?Y))
Food.kif 3124-3136
Wenn
Object
ist ein
fall
von
Cream
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und das
mass
von
** ** Object
ist
RealNumber
Gram
(s) %n{nicht} und
** Object
ist ein
fall
von
Milk
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
Gram
(s) %n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Wenn
Object
ist ein
fall
von
Crystal
%n{nicht} und
MonoCrystalline
ist ein
attribut
von
** Object
%n{nicht} und
SelfConnectedObject
ist ein
fall
von
Substance
%n{nicht} und
Solid
ist ein
attribut
von
** SelfConnectedObject
%n{nicht} und
PolyCrystalline
ist ein
attribut
von
** SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Substance
%n{nicht} und
** ** SelfConnectedObject
ist eine
flaeche
von
** SelfConnectedObject
%n{nicht} und
** Object
ist ein
teil
von
** ** SelfConnectedObject
nicht,
dann es gibt
** Object
LNT,
Integer
, and und
** Object
um
** Object
LNT ist ein
fall
von
Collection
%n{nicht} und
memberCount
** Object
LNT and
** Integer
und
** Integer
ist
groesserAlsOderGleich
4 %n{nicht} und
wenn
** ** Object
ist ein
Mitglied
von
** Object
LNT %n{nicht},
dann
** ** Object
ist ein
teil
von
** SelfConnectedObject
%n{nicht} und
** Object
schliesst
** ** Object
raeumlich an
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
Wenn
Object
ist ein
fall
von
FlatWhite
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
MilkFoam
%n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
und
SelfConnectedObject
ist ein
teil
von
** ** Substance
%n{nicht} und
** SelfConnectedObject
ist ein
teil
von
** Substance
%n{nicht} und die
oberseite
von
** ** Substance
ist
** SelfConnectedObject
und
** SelfConnectedObject
ist ein
fall
von
Bubble
%n{nicht} und das
mass
von
** SelfConnectedObject
ist
** RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
and 0.15 und
** ** RealNumber
ist
groesserAlsOderGleich
1.0 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
20.0 %n{nicht}
(=>
(
and
(
instance
?C
Latte
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.21)
(
approximateValue
?L 12.0)))
Food.kif 1399-1415
Wenn
Object
ist ein
fall
von
Latte
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
MilkFoam
%n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
und
SelfConnectedObject
ist ein
teil
von
** ** Substance
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Bubble
%n{nicht} und die
oberseite
von
** ** Substance
ist
** SelfConnectedObject
und das
mass
von
** SelfConnectedObject
ist
** RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
and 0.21 und
approximateValue
** ** RealNumber
and 12.0
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
Wenn
Object
ist ein
fall
von
SpeltWheatGrass
%n{nicht} und
** Object
ELL ist ein
teil
von
** Object
%n{nicht} und
** Object
ELL ist ein
fall
von
** Object
LASS %n{nicht},
dann
** Object
LASS ist eine
teilkategorie
von
HexaploidCell
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Wenn
Entity
ist ein
fall
von
COVIDAntibody
%n{nicht} und
Covid19
ist ein
attribut
von
** entity
nicht und
** Entity
ist ein
teil
von
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
Covid19
ist ein
attribut
von
** ** entity
%n{nicht} hat die modale Kraft von
Unlikely
haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
Wenn
Object
ist ein
fall
von
ComputerCable
%n{nicht} und
** Object
ist ein
fall
von
Cable
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist ein
fall
von
MaleConnector
%n{nicht} oder
** ** Object
ist ein
fall
von
FemaleConnector
%n{nicht}
(=>
(
and
(
instance
?CELL
HexaploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B ?C)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
instance
?C
HomologousChromosomeSet
)
(
subCollection
?C ?COLL)
(
not
(
equal
?A ?B))
(
not
(
equal
?A ?C))
(
not
(
equal
?B ?C)))))
VirusProteinAndCellPart.kif 1003-1024
Wenn
Object
ist ein
fall
von
HexaploidCell
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
Collection
befindet
sich an %n{nicht} und
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
,
dann es gibt
** Collection
,
** Collection
, and und
** Collection
um
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist gleich
** ** Collection
nicht und
** ** Collection
ist gleich
** ** Collection
nicht und
** ** Collection
ist gleich
** ** Collection
nicht
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
chromosomeNumber
?CELL ?X)
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
monoploidNumber
?COLL ?Y))
(
equal
?X ?Y))
VirusProteinAndCellPart.kif 772-781
Wenn
EukaryoticCell
ist ein
fall
von
MonoploidCell
%n{nicht} und
chromosomeNumber
** EukaryoticCell
and
Integer
und
MonoploidChromosomeSet
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
** MonoploidChromosomeSet
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** Object
ist ein
teil
von
** EukaryoticCell
%n{nicht} und
monoploidNumber
** MonoploidChromosomeSet
and
** Integer
,
dann
** Integer
ist gleich
** ** Integer
%n{nicht}
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
exists
(?COLL)
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
not
(
exists
(?SET)
(
and
(
instance
?SET
MonoploidChromosomeSet
)
(
not
(
equal
?SET ?COLL))
(
located
?SET ?N)))))))
VirusProteinAndCellPart.kif 755-770
Wenn
Object
ist ein
fall
von
MonoploidCell
%n{nicht} und
** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
** Physical
befindet
sich an %n{nicht} und es gibt nicht
** Physical
um
** ** Physical
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
** ** Physical
ist gleich
** Physical
nicht und
** ** Physical
befindet
sich an %n{nicht}
(=>
(
and
(
instance
?CELL
PentaploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 5))
VirusProteinAndCellPart.kif 973-983
Wenn
Object
ist ein
fall
von
PentaploidCell
%n{nicht} und
** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Collection
befindet
sich an %n{nicht} und
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
MonoploidChromosomeSet
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
** MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht},
dann
chromosomeSetCount
** MonoploidChromosomeSet
,
** Collection
and 5
(=>
(
and
(
instance
?CELL
TetraploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
not
(
equal
?A ?B)))))
VirusProteinAndCellPart.kif 950-965
Wenn
Object
ist ein
fall
von
TetraploidCell
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
CellNucleus
%n{nicht} und
Collection
befindet
sich an %n{nicht} und
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
,
dann es gibt
** Collection
und
** Collection
um
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist gleich
** ** Collection
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