Human(人类) |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3652-3657 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2336-2351 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2382-2397 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23513-23526 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25840-25852 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4195-4210 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1753-1773 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 156-169 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 233-239 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22470-22475 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1110-1117 | |
No TPTP formula. May not be expressible in strict first order. | Justice.kif 87-96 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 49-59 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7467-7474 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1806-1812 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1487-1494 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1478-1485 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 742-751 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 634-638 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 561-574 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 505-517 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 601-614 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 624-631 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 669-682 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |