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 16739-16741 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16738-16738 | 军事组织 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16737-16737 | 军事组织 是 军事力量 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 904-904 | 联合参谋长 是 军事组织 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 884-884 | 联合工作人员 是 军事组织 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 951-951 | 美军 是 军事组织 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 789-789 | 空军 - 服务单位 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 879-879 | 外部机构 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6057-6057 | FleetMarineForce 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1723-1723 | 联合部队 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Military.kif 799-799 | 海军陆战队-支部 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8396-8396 | 军事后备力量 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8364-8364 | 兵役 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8381-8381 | 军事单位 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Military.kif 804-804 | NavalAirForceBranchOfService 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Military.kif 807-807 | NavyBranchOfService 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22567-22567 | 维护和平任务 是 军事组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 299-299 | 特种作战部队 是 军事组织 的 subclass |
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 816-816 | 区域军事 的 1 数量 是 军事组织 的 instance |
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 22522-22527 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 779-784 |
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 19031-19040 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22515-22520 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17860-17866 | |
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 8433-8443 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 137-143 |