No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8259-8259 | 子類 熟練的職業 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. | Sports.kif 1352-1352 | 子類 ProfessionalAthlete 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. | Mid-level-ontology.kif 18861-18861 | 子類 銷售職位 and 熟練的職業 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18870-18870 | 子類 服務職位 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. | Mid-level-ontology.kif 18929-18929 | 子類 體育位置 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 30700-30700 | 子類 SafetyPosition and 熟練的職業 |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 667-667 | 子類 ArtisticOccupation and 熟練的職業 |