| 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 9892-9893 | |
| (externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Ant_SEM.jpg") | pictureList.kif 5998-5998 | "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Ant_SEM.jpg" is a URL depicting exoskeleton |
| (externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/en/5/59/ Exoskeleton3.jpg") | pictureList.kif 6500-6500 | "http://upload.wikimedia.org/wikipedia/en/5/59/Exoskeleton3.jpg" is a URL depicting exoskeleton |
| (initialPart Exoskeleton Animal) | Mid-level-ontology.kif 9894-9894 | Every exoskeleton is initially part of a animal |
| (subclass Exoskeleton AnimalAnatomicalStructure) | Mid-level-ontology.kif 9890-9890 | Exoskeleton is a subclass of animal anatomical structure |
| (subclass Exoskeleton BodyPart) | Mid-level-ontology.kif 9891-9891 | Exoskeleton is a subclass of body part |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Exoskeleton "外骨骼") | domainEnglishFormat.kif 22717-22717 | "外骨骼" is the printable form of exoskeleton in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage Exoskeleton "外骨骼") | domainEnglishFormat.kif 22716-22716 | "外骨骼" is the printable form of exoskeleton in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage Exoskeleton "exoskeleton") | domainEnglishFormat.kif 22715-22715 | "exoskeleton" is the printable form of exoskeleton in english language |
| antecedent |
|
|
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 9896-9901 |
|
| (=> (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 9912-9922 |
|
| consequent |
|
|
| (<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 9903-9910 | 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 |
|
|
|