part |
![]() |
(=> (and (instance ?F FungalDisease) (attribute ?H ?F)) (exists (?FUN) (and (part ?FUN ?H) (instance ?FUN Fungus)))) |
Mid-level-ontology.kif 5878-5885 |
|
(=> (and (instance ?F ParasiticDisease) (attribute ?H ?F)) (exists (?PAR) (and (part ?PAR ?H) (instance ?PAR Parasite)))) |
Mid-level-ontology.kif 5864-5871 |
|
(=> (and (instance ?FILTER AbsoluteFilter) (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (patient ?REMOVE ?PARTICLE) (attribute ?PARTICLE Solid) (instrument ?REMOVE ?FILTER)) (not (part ?PARTICLE ?GAS))) |
MilitaryDevices.kif 1379-1389 |
|
(=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP)) (hasPurpose ?FP (exists (?GT ?EC) (and (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC))))) |
Cars.kif 1051-1068 |
|
(=> (and (instance ?FREEZE Freezing) (patient ?FREEZE ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?FREEZE)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?FREEZE)) (attribute ?PART Solid))))) |
Merge.kif 14022-14030 |
|
(=> (and (instance ?G Gene) (located ?G ?C) (instance ?C Cell)) (exists (?B ?N ?R) (and (instance ?B BiologicalProcess) (eventLocated ?B ?C) (origin ?B ?G) (result ?B ?N) (instance ?N Nucleotide) (part ?N ?R) (instance ?R RNAMolecule) (located ?R ?C)))) |
VirusProteinAndCellPart.kif 654-668 |
|
(=> (and (instance ?G Grinding) (patient ?G ?O) (instance ?O CorpuscularObject)) (holdsDuring (EndFn (WhenFn ?G)) (exists (?C) (and (result ?G ?C) (instance ?C Collection) (forall (?M) (=> (member ?M ?C) (part ?M ?O))))))) |
Food.kif 1012-1026 |
|
(=> (and (instance ?GERD GERefluxDisease) (experiencer ?GERD ?H)) (exists (?T ?S ?E) (and (instance ?T Transfer) (origin ?T ?S) (instance ?S Stomach) (instance ?E Esophagus) (destination ?T ?E) (part ?S ?H) (part ?E ?H) (subProcess ?T ?GERD)))) |
Medicine.kif 1916-1929 |
|
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Foot) (instance ?L2 Foot) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H)))) |
Mid-level-ontology.kif 12708-12721 |
|
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H)))) |
Mid-level-ontology.kif 12681-12694 |
|
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Lung) (instance ?L2 Lung) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H)))) |
Mid-level-ontology.kif 11197-11210 |
|
(=> (and (instance ?HA HeartAttack) (instance ?H Heart) (located ?HA ?H)) (exists (?M) (and (instance ?M Muscle) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M))))))) |
Mid-level-ontology.kif 11367-11384 |
|
(=> (and (instance ?HA Stroke) (instance ?H Brain) (located ?HA ?H)) (exists (?M) (and (instance ?M NerveCell) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M))))))) |
Mid-level-ontology.kif 11914-11931 |
|
(=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR)))) |
Cars.kif 4295-4307 |
|
(=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (exists (?TH) (and (instance ?TH Trachea) (part ?TH ?H) (destination ?I ?TH)))) |
Medicine.kif 4135-4145 |
|
(=> (and (instance ?II IntraosseousInfusion) (patient ?II ?H)) (exists (?B) (and (instance ?B BoneMarrow) (destination ?II ?B) (part ?B ?H)))) |
Medicine.kif 1179-1187 |
|
(=> (and (instance ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT)))) |
Mid-level-ontology.kif 6636-6644 |
|
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (exists (?E) (and (instance ?E Egg) (patient ?L ?E) (holdsDuring (BeginFn (WhenFn ?L)) (part ?E ?A)) (holdsDuring (EndFn (WhenFn ?L)) (not (part ?E ?A)))))) |
Mid-level-ontology.kif 24115-24128 |
|
(=> (and (instance ?L LeafSpring) (part ?L ?RV) (instance ?RV RoadVehicle)) (modalAttribute (exists (?L2) (and (instance ?L2 LeafSpring) (part ?L2 ?RV) (not (equal ?L ?L2)) (meetsSpatially ?L ?L2))) Likely)) |
Cars.kif 902-915 |
|
(=> (and (instance ?LA LeftAtrium) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart)))) |
Medicine.kif 275-283 |
|
(=> (and (instance ?LA LeftVentricle) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart)))) |
Medicine.kif 291-299 |
|
(=> (and (instance ?LA RightAtrium) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart)))) |
Medicine.kif 307-315 |
|
(=> (and (instance ?LA RightVentricle) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart)))) |
Medicine.kif 323-331 |
|
(=> (and (instance ?M OnePercentMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (equal ?N2 (MultiplicationFn 0.01 ?N))))) |
Food.kif 2969-2986 |
|
(=> (and (instance ?M SemiSkimmedMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.015 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.02 ?N))))) |
Food.kif 2993-3011 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |