(=>
(instance ?FIELD Field)
(not
(exists (?TREE)
(and
(instance ?TREE BotanicalTree)
(located ?TREE ?FIELD))))) |
Mid-level-ontology.kif 10363-10369 |
If X is an instance of field, then there doesn't exist Y such that Y is an instance of botanical tree and Y is located at X |
(=>
(instance ?R Rubber)
(exists (?T)
(and
(instance ?T BotanicalTree)
(part ?R ?T)))) |
Mid-level-ontology.kif 10685-10690 |
If X is an instance of rubber, then there exists Y such that Y is an instance of botanical tree and X is a part of Y |
(=>
(instance ?B TreeBranch)
(exists (?T)
(and
(instance ?T BotanicalTree)
(part ?B ?T)))) |
Mid-level-ontology.kif 10984-10989 |
If X is an instance of tree branch, then there exists Y such that Y is an instance of botanical tree and X is a part of Y |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W WoodProduct)
(subclass ?S PlantStem))
(exists (?T)
(and
(subclass ?T BotanicalTree)
(initialPart ?S ?T)))) |
Economy.kif 5584-5593 |
If equal X and Object made from Y, X is a subclass of wood product, and Y is a subclass of plant stem, then there exists Z such that Z is a subclass of botanical tree and every Y is initially part of a Z |
(=>
(instance ?FELL Felling)
(exists (?C ?F ?T ?S)
(and
(instance ?C Cutting)
(patient ?C ?T)
(instance ?T BotanicalTree)
(result ?C ?F)
(instance ?F Falling)
(patient ?F ?S)
(instance ?S PlantStem)
(part ?S ?T)))) |
Economy.kif 5822-5833 |
If X is an instance of felling, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of cutting (3) W is a patient of Y (4) W is an instance of botanical tree (5) Z is a result of Y (6) Z is an instance of falling (7) V is a patient of Z (8) V is an instance of plant stem (9) V is a part of W |
(=>
(instance ?F Felling)
(hasPurpose ?F
(exists (?T ?TIMB ?S)
(and
(instance ?T BotanicalTree)
(patient ?F ?T)
(result ?F ?TIMB)
(instance ?TIMB Timber)
(equal ?TIMB ?S)
(instance ?S PlantStem)
(holdsDuring
(BeginFn
(WhenFn ?F))
(part ?S ?T))
(holdsDuring
(EndFn
(WhenFn ?F))
(not
(part ?S ?T))))))) |
Economy.kif 5853-5872 |
If X is an instance of felling, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of botanical tree (3) Y is a patient of X (4) Z is a result of X (5) Z is an instance of timber (6) equal Z (7) W (8) W is an instance of plant stem (9) W is a part of Y holds during the beginning of the time of existence of X (10) W is not a part of Y holds during the end of the time of existence of X |
(=>
(equal ?P
(PlantFn CashewNut))
(subclass ?P BotanicalTree)) |
Food.kif 2441-2443 |
If equal X and plant fn cashew nut, then X is a subclass of botanical tree |
(=>
(equal ?P
(PlantFn TamarindFruit))
(subclass ?P BotanicalTree)) |
Food.kif 3526-3528 |
If equal X and plant fn tamarind fruit, then X is a subclass of botanical tree |
(=>
(instance ?RESTORE Reforestation)
(exists (?TREE)
(and
(instance ?TREE BotanicalTree)
(attribute ?TREE NonFullyFormed)
(patient ?RESTORE ?TREE)))) |
Geography.kif 4024-4030 |
If X is an instance of reforestation, then there exists Y such that Y is an instance of botanical tree, non fully formed is an attribute of Y, and Y is a patient of X |
(=>
(instance ?HARMING ForestDamage)
(exists (?TREE)
(and
(instance ?TREE BotanicalTree)
(patient ?HARMING ?TREE)))) |
Geography.kif 4155-4160 |
If X is an instance of forest damage, then there exists Y such that Y is an instance of botanical tree and Y is a patient of X |
(=>
(instance ?FOREST Forest)
(vegetationTypePattern ?FOREST BotanicalTree DenseVegetation)) |
Geography.kif 7983-7985 |
If X is an instance of forest, then X is vegetation type pattern botanical tree for dense vegetation |
(=>
(instance ?FOREST RainForest)
(vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation)) |
Geography.kif 7993-7995 |
If X is an instance of rain forest, then X is vegetation type pattern botanical tree for canopied vegetation |
(=>
(instance ?DESERT Desert)
(not
(vegetationType ?DESERT BotanicalTree))) |
Geography.kif 8263-8265 |
If X is an instance of desert, then botanical tree is found in X |
(=>
(instance ?PLAIN Savanna)
(not
(vegetationType ?PLAIN BotanicalTree))) |
Geography.kif 8357-8360 |
If X is an instance of savanna, then botanical tree is found in X |
(=>
(instance ?PLAIN Steppe)
(not
(vegetationType ?PLAIN BotanicalTree))) |
Geography.kif 8367-8369 |
If X is an instance of steppe, then botanical tree is found in X |
