| Exoskeleton(exoskeleton)
| | exoskeleton |
| appearance as argument number 1 |
|
|
| (documentation Exoskeleton EnglishLanguage "The system of Bones that are on the Outside of an organism and make up the supporting structure of many Invertebrates.") | Mid-level-ontology.kif 12996-12997 | |
| (externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Ant_SEM.jpg") | pictureList.kif 5996-5996 | |
| (externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/en/5/59/ Exoskeleton3.jpg") | pictureList.kif 6498-6498 | |
| (initialPart Exoskeleton Animal) | Mid-level-ontology.kif 12998-12998 | Every exoskeleton is initially part of a animal |
| (subclass Exoskeleton AnimalAnatomicalStructure) | Mid-level-ontology.kif 12994-12994 | Exoskeleton is a subclass of animal anatomical structure |
| (subclass Exoskeleton BodyPart) | Mid-level-ontology.kif 12995-12995 | Exoskeleton is a subclass of body part |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Exoskeleton "外骨骼") | domainEnglishFormat.kif 22788-22788 | |
| (termFormat ChineseTraditionalLanguage Exoskeleton "外骨骼") | domainEnglishFormat.kif 22787-22787 | |
| (termFormat EnglishLanguage Exoskeleton "exoskeleton") | domainEnglishFormat.kif 22786-22786 |
| antecedent |
|
|
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 13000-13005 |
|
| (=> (instance ?X Exoskeleton) (exists (?A) (and (instance ?A Animal) (part ?X ?A) (not (exists (?PART) (and (properPart ?PART ?A) (orientation ?PART ?X Outside))))))) |
Mid-level-ontology.kif 13016-13026 |
|
| consequent |
|
|
| (<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 13007-13014 | An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object |
|
|
|