patient |
No TPTP formula. May not be expressible in strict first order. | Food.kif 96-105 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8726-8736 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14603-14609 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17112-17117 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17106-17110 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 145-160 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11656-11666 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11647-11654 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12599-12610 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2438-2445 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12636-12650 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1836-1842 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15887-15900 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13226-13231 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13979-13987 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18506-18515 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18521-18525 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12212-12217 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10961-10974 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12136-12142 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2597-2607 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2609-2617 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 137-146 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3572-3581 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 391-401 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |