appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3731-3732 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16843-16845 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16842-16842 | Military organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16841-16841 | Military organization is a subclass of military force |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 904-904 | Joint chiefs of staff is an instance of military organization |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 884-884 | Joint staff is an instance of military organization |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 951-951 | US military is an instance of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 866-866 | Air force- branch of service is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 879-879 | External agency is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6074-6074 | Fleet marine force is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1723-1723 | Joint forces is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 876-876 | Marines- branch of service is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9575-9575 | Military reserve force is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9543-9543 | Military service is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9560-9560 | Military unit is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 881-881 | Naval Air Force is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 884-884 | Navy is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24156-24156 | Peace keeping mission is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 299-299 | Special operations forces is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37688-37688 | Special operations forces is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37687-37687 | Special operations forces is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37686-37686 | Special operations forces is a subclass of military organization |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Military.kif 893-893 | The number 1 argument of military of area is an instance of military organization |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 472-477 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 484-489 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 133-140 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24111-24116 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 339-343 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 856-861 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Military.kif 363-374 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 120-131 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20575-20584 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24104-24109 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19384-19390 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2398-2408 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2256-2266 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2288-2298 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9612-9622 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 147-153 |
|
![]() |
![]() |