|
|
  BusinessPerson
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22148-22153 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1056-1056 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22147-22147 | BusinessPerson e' uma instancia de OccupationalRole |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22155-22155 | BusinessExecutive e' um sub-atributo de BusinessPerson |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22450-22450 | StoreOwner e' um sub-atributo de BusinessPerson |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12451-12451 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12450-12450 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12449-12449 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1655-1668 |
|
|
|
|
