|
|
  MilitaryCommander
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1358-1358 | MilitaryCommander e' uma instancia de Posicao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 333-333 | CombatantCommander e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 894-894 | DirectorJS e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 357-357 | JointForcesAirCommander e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 345-345 | JointForcesCommander e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 379-379 | JointForcesLandCommander e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 401-401 | JointForcesMaritimeCommander e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 433-433 | JointForcesSpecialOperationsCommander e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 337-337 | JointTaskForceCommander e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 468-468 | President e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 455-455 | SecretaryOfDefense e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 339-339 | ServiceChief e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 335-335 | SubunifiedCommander e' um sub-atributo de MilitaryCommander |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37565-37565 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37564-37564 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37563-37563 |
| consequent |
|
|
|
|
|