appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3516-3517 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15103-15104 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15102-15102 | Body vessel is a subclass of body cavity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11091-11091 | Alveolus is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11077-11077 | Blood vessel is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11065-11065 | Bronchial duct is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12080-12080 | Esophagus is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12033-12033 | Intestine is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12042-12042 | Large intestine is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11312-11312 | Nostril is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12070-12070 | Rectum is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12043-12043 | Small intestine is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11722-11722 | Throat is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11734-11734 | Trachea is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1021-1021 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1254-1254 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 699-699 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 230-230 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 233-233 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2382-2382 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 651-651 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 268-268 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 720-720 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 234-234 |