| Soldier
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18965-18967 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 742-742 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18964-18964 | Soldier est une instance de GovernmentPosition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18970-18970 | ConfederateSoldier est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18997-18997 | MilitaryOfficer est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18992-18992 | MilitaryPrivate est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 221-221 | StandardBearer est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 227-227 | USCivilWarSoldier est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 348-348 | USMilitaryRankE1 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 361-361 | USMilitaryRankE2 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 374-374 | USMilitaryRankE3 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 387-387 | USMilitaryRankE4 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 400-400 | USMilitaryRankE5 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 413-413 | USMilitaryRankE6 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 426-426 | USMilitaryRankE7 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 439-439 | USMilitaryRankE8 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 452-452 | USMilitaryRankE9 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 472-472 | USMilitaryRankE9special est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 485-485 | USMilitaryRankO1 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 584-584 | USMilitaryRankO10 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 495-495 | USMilitaryRankO2 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 505-505 | USMilitaryRankO3 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 515-515 | USMilitaryRankO4 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 525-525 | USMilitaryRankO5 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 535-535 | USMilitaryRankO6 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 545-545 | USMilitaryRankO7 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 558-558 | USMilitaryRankO8 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 571-571 | USMilitaryRankO9 est un sous-attribut de Soldier |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
|
|
|