| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8279-8279 |
非专业的职业 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 433-433 |
航空工程师 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 640-640 |
Astronaut 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3648-3648 |
银行家 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Dining.kif 824-824 |
Chef 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18865-18865 |
文书秘书 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20769-20769 |
教练 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20773-20773 |
比赛裁判 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 647-647 |
摄影师 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 631-631 |
飞行员 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20925-20925 |
警官 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20961-20961 |
私家侦探 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18976-18976 |
水手 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 654-654 |
裁缝 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18857-18857 |
出纳员 是 熟练的职业 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 667-667 |
ArtisticOccupation 是 熟练的职业 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26884-26884 |
Bartender 是 熟练的职业 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18916-18916 |
娱乐专业 是 熟练的职业 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 245-245 |
军衔 是 熟练的职业 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8283-8283 |
职业贸易 是 熟练的职业 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8288-8288 |
职业 是 熟练的职业 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1352-1352 |
ProfessionalAthlete 是 熟练的职业 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Sports.kif 446-446 |
ProfessionalGamePlayer 是 熟练的职业 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30700-30700 |
SafetyPosition 是 熟练的职业 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18861-18861 |
销售职位 是 熟练的职业 的 subclass |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
