| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21130-21130 |
例 會計 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 352-352 |
例 精算師 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 361-361 |
例 人類學家 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 369-369 |
例 考古學家 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 377-377 |
例 建築師 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 384-384 |
例 天文學家 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20994-20994 |
例 律師 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 392-392 |
例 生物學家 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 613-613 |
例 植物學家 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 400-400 |
例 化學家 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3831-3831 |
例 Chiropractor and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20912-20912 |
例 牧師 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 408-408 |
例 電腦科學家 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18902-18902 |
例 牙醫 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 416-416 |
例 Economist and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 424-424 |
例 工程師 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 467-467 |
例 Geographer and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 475-475 |
例 Geologist and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 483-483 |
例 Historian and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18977-18977 |
例 記者 and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20993-20993 |
例 Lawyer and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 560-560 |
例 Librarian and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 490-490 |
例 Linguist and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 498-498 |
例 Mathematician and 職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21059-21059 |
例 醫生 and 職業 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
