No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8278-8278 |
非专业的职业 和 % 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 18864-18864 |
文书秘书 是 熟练的职业 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20768-20768 |
教练 是 熟练的职业 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20772-20772 |
比赛裁判 是 熟练的职业 的 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 20924-20924 |
警官 是 熟练的职业 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20960-20960 |
私家侦探 是 熟练的职业 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18975-18975 |
水手 是 熟练的职业 的 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 18856-18856 |
出纳员 是 熟练的职业 的 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 26872-26872 |
Bartender 是 熟练的职业 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18915-18915 |
娱乐专业 是 熟练的职业 的 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 8282-8282 |
职业贸易 是 熟练的职业 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8287-8287 |
职业 是 熟练的职业 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1353-1353 |
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 30688-30688 |
SafetyPosition 是 熟练的职业 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18860-18860 |
销售职位 是 熟练的职业 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |