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 15125-15126 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | 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 11090-11090 | Alveolus is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11076-11076 | Blood vessel is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11064-11064 | Bronchial duct is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12079-12079 | Esophagus is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12032-12032 | Intestine is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12041-12041 | Large intestine is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11311-11311 | Nostril is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12069-12069 | Rectum is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12042-12042 | Small intestine is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11721-11721 | Throat is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11733-11733 | 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 |