Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryOrganization
MilitaryOrganization(military organization)ACE, ACLANT, Allied_Command_Atlantic, Allied_Command_Europe, Communist_Party_of_Kampuchea, French_Foreign_Legion, KR, Khmer_Rouge, Lord's_Resistance_Army, Mujahedeen_Khalq, Party_of_Democratic_Kampuchea, SA, SHAPE, Special_Forces, Storm_Troops, Sturmabteilung, Supreme_Headquarters_Allied_Powers_Europe, U._S._Army_Special_Forces, United_States_Army_Special_Forces, army_unit, battle_group, division, garrison, military, militia, regiment, reserves

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 15544-15546
No TPTP formula. May not be expressible in strict first order. Merge.kif 15543-15543 Military organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15542-15542 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 950-950 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. MilitaryProcesses.kif 1704-1704 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 8077-8077 Military reserve force is a subclass of military organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8046-8046 Military service is a subclass of military organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8063-8063 Military unit is a subclass of military organization
No TPTP formula. May not be expressible in strict first order. Military.kif 813-813 Naval air force- branch of service is a subclass of military organization
No TPTP formula. May not be expressible in strict first order. Military.kif 816-816 Navy- branch of service is a subclass of military organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20420-20420 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 37675-37675
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37674-37674
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37673-37673

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 2289-2308
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 20409-20414
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 2289-2308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16806-16815
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20402-20407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15477-15483
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2378-2388
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2236-2246
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2268-2278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8113-8123
No TPTP formula. May not be expressible in strict first order. Military.kif 137-143


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners