Soldier
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18966-18968 | |
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 18965-18965 | 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 18971-18971 | ConfederateSoldier est un sous-attribut de Soldier |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18998-18998 | MilitaryOfficer est un sous-attribut de Soldier |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18993-18993 | 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 |