Neck
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12899-12900 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 137-137 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12897-12897 | Neck is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12898-12898 | Neck is a subclass of body part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40067-40067 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40066-40066 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40065-40065 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12902-12907 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5114-5122 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5080-5088 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18504-18515 |
|