Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DeadFn |
| appearance as argument number 1 |
|
| (instance DeadFn UnaryFunction) | Merge.kif 18836-18836 | Dead fn is an instance of unary function |
| (domainSubclass DeadFn 1 OrganicObject) | Merge.kif 18837-18837 | The number 1 argument of Dead fn is a subclass of organic object |
| (rangeSubclass DeadFn OrganismRemains) | Merge.kif 18838-18838 | The values returned by Dead fn are subclasses of organism remains |
| (documentation DeadFn EnglishLanguage "(DeadFn ?ORGCLASS) denotes the Class of all remains that were once part of Living Organisms of the type ?ORGCLASS.") | Merge.kif 18839-18841 | The values returned by Dead fn are subclasses of organism remains |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?REM (DeadFn ?ORGTYPE)) (instance ?DEATH Death) (result ?DEATH ?REM) (experiencer ?DEATH ?ORG)) (instance ?ORG ?ORGTYPE)) |
Mid-level-ontology.kif 101-107 | If X is an instance of a dead Y, Z is an instance of death, X is a result of Z, and W experiences Z, then W is an instance of Y |
| (=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain)) |
Economy.kif 4363-4365 | If X is an instance of a dead cereal grass plant, then X is an instance of grain |
| (=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal))))) |
Economy.kif 4367-4372 | If X is an instance of a dead cereal grain, then there exists Y such that X is an instance of Y, equal Y, and food for animal |
| (=> (instance ?X (DeadFn WheatGrass)) (instance ?X WheatGrain)) |
Economy.kif 4387-4389 | If X is an instance of a dead wheat grass, then X is an instance of wheat grain |
| consequent |
|
|
| (=> (instance ?X HumanCorpse) (instance ?X (DeadFn Human))) |
Mid-level-ontology.kif 92-94 | If X is an instance of human corpse, then X is an instance of a dead human |
| (=> (and (instance ?REM OrganismRemains) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORGTYPE OrganicObject) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 109-117 | If All of the following hold: (1) X is an instance of organism remains (2) Y is an instance of death (3) Z experiences Y (4) Z is an instance of W (5) W is a subclass of organic object (6) X is a result of Y, then X is an instance of a dead W |
| (=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 20018-20026 | If X is an instance of harvesting and Y is a result of X, then there exists Z such that Y is an instance of a dead Z and Z is a subclass of organic object |
| (=> (instance ?S Spice) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?S ?P) (subclass ?CLASS PlantAnatomicalStructure)))) |
Economy.kif 4698-4705 | If X is an instance of spice, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of plant anatomical structure |
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG)))) |
Economy.kif 5616-5625 | If equal X and Object made from Y and X is a subclass of object, then there exist Z, W such that Z is an instance of a dead Y, Z is a part of W, and W is an instance of Y |
| (=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5835-5843 | If X is an instance of felling and Y is a result of X, then there exists Z such that Y is an instance of a dead Z and Z is a subclass of plant stem |
| (=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant)))) |
Food.kif 299-306 | If X is an instance of food from a plant, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of plant |
| (=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal)))) |
Food.kif 1922-1928 | If X is an instance of meat, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of animal |
| (=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 3412-3418 | If X is an instance of seafood, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of fish |
| (=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O ?ORG) (subclass ?ORG Organism)) (exists (?PART) (and (instance ?P (DeadFn ?PART)) (initialPart ?PART ?ORG)))) |
Geography.kif 8050-8059 | If X is an instance of shedding part, X Y and Z, Y is an instance of W, and W is a subclass of organism, then there exists V such that Z is an instance of a dead V and every V is initially part of a W |
| statement |
|
|
|