No TPTP formula. May not be expressible in strict first order. |
Biography.kif 353-353 |
子屬性 精算師 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 362-362 |
子屬性 人類學家 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 370-370 |
子屬性 考古學家 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 385-385 |
子屬性 天文學家 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 393-393 |
子屬性 生物學家 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 614-614 |
子屬性 植物學家 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 401-401 |
子屬性 化學家 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 409-409 |
子屬性 電腦科學家 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 417-417 |
子屬性 Economist and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 468-468 |
子屬性 Geographer and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 476-476 |
子屬性 Geologist and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 561-561 |
子屬性 Librarian and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 491-491 |
子屬性 Linguist and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 506-506 |
子屬性 MedicalResearcher and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 516-516 |
子屬性 古生物學家 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 545-545 |
子屬性 物理學家 and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 553-553 |
子屬性 PoliticalScientist and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 531-531 |
子屬性 Psychologist and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 576-576 |
子屬性 Sociologist and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 598-598 |
子屬性 Veterinarian and Scientist |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 606-606 |
子屬性 Zoologist and Scientist |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65448-65448 |
|