|
|
  Researcher
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18920-18921 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 691-691 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18919-18919 | 例 研究員 and 職業 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49600-49600 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49599-49599 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49598-49598 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18923-18928 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 509-513 |
|
|
|
