patient |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17427-17439 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17421-17425 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13933-13941 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13831-13839 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11731-11742 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 617-627 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 639-649 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11905-11916 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3239-3259 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2397-2406 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 586-602 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23768-23779 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23789-23800 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6505-6529 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3076-3094 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1838-1856 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1817-1836 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5489-5498 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29758-29765 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 767-785 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 754-765 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 980-992 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 994-1003 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3199-3211 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3226-3247 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |