|
|
   ArtisticOccupation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 668-668 | |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 667-667 | ArtisticOccupation est une sous-classe de SkilledOccupation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1381-1381 | Composer est une instance de ArtisticOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 670-670 | Dancer est une instance de ArtisticOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 677-677 | Designer est une instance de ArtisticOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 684-684 | Draftsman est une instance de ArtisticOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 691-691 | Painter est une instance de ArtisticOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 698-698 | Sculptor est une instance de ArtisticOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 754-754 | VoiceActor est une instance de ArtisticOccupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 705-705 | Writer est une instance de ArtisticOccupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22187-22187 | Musician est une sous-classe de ArtisticOccupation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64476-64476 |
|
|
|