PhotographicAndPhotocopyingEquipmentManufacturing
|
|
appearance as argument number 1 |
appearance as argument number 2 |
appearance as argument number 3 |
(partition OrganicObject Organism AnatomicalStructure) | Merge.kif 14348-14348 | 有機物 は 物 + 解剖学的構造 に exhaustively partitioned %n |
antecedent |
(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O Organism) (instance ?P AnatomicalStructure) (part ?P ?O)) (exists (?R) (and (instance ?R Removing) (origin ?R ?O) (patient ?R ?P)))) |
Geography.kif 6412-6423 | |
(=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM ?TIME) (and (instance ?ORGANISM Organism) (temporalPart ?TIME (WhenFn ?ORGANISM)) (holdsDuring ?TIME (part ?ANAT ?ORGANISM))))) |
Merge.kif 14921-14927 | |
(=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART)))) |
Merge.kif 14929-14934 |
consequent |
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5258-5265 | |
(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT)))) |
Merge.kif 10433-10438 | |
(=> (instance ?P AnimalProduct) (exists (?M ?A ?B) (and (instance ?M Manufacture) (result ?M ?P) (patient ?M ?A) (or (instance ?A Animal) (and (part ?B ?A) (instance ?B AnatomicalStructure)))))) |
Economy.kif 5013-5024 | |
(=> (instance ?P PlantProduct) (exists (?M ?A ?B) (and (instance ?M Manufacture) (result ?M ?P) (patient ?M ?A) (or (instance ?A Plant) (and (part ?B ?A) (instance ?B AnatomicalStructure)))))) |
Economy.kif 5191-5202 | |
(=> (instance ?POISON Poisoning) (exists (?THING) (and (patient ?POISON ?THING) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure))))) |
Merge.kif 10463-10470 |