MilitaryOrganization
|
|
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 16690-16692 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16689-16689 | Military organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16688-16688 | 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 798-798 | 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 6057-6057 | 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 808-808 | 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 8368-8368 | Military reserve force is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8336-8336 | Military service is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8353-8353 | Military unit is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 813-813 | NavalAirForceBranchOfService is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 816-816 | Navy is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22514-22514 | 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 37679-37679 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37678-37678 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37677-37677 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 825-825 | 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 461-466 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 473-478 |
|
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 22469-22474 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 788-793 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Military.kif 286-297 |
|
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 19003-19012 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22462-22467 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17832-17838 |
|
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 8405-8415 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 137-143 |
|