| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8279-8279 |
不相交的 非專業的職業 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 433-433 |
例 航空工程師 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 640-640 |
例 Astronaut and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3648-3648 |
例 銀行家 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Dining.kif 824-824 |
例 Chef and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18865-18865 |
例 文書秘書 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20769-20769 |
例 教練 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20773-20773 |
例 比賽裁判 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 647-647 |
例 攝影師 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 631-631 |
例 飛行員 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20925-20925 |
例 警官 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20961-20961 |
例 私家偵探 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18976-18976 |
例 水手 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 654-654 |
例 裁縫 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18857-18857 |
例 出納員 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 667-667 |
子類 ArtisticOccupation and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26884-26884 |
子類 Bartender and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18916-18916 |
子類 娛樂專業 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 245-245 |
子類 軍銜 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8283-8283 |
子類 職業貿易 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8288-8288 |
子類 職業 and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1352-1352 |
子類 ProfessionalAthlete and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Sports.kif 446-446 |
子類 ProfessionalGamePlayer and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30700-30700 |
子類 SafetyPosition and 熟練的職業 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18861-18861 |
子類 銷售職位 and 熟練的職業 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
