what was the name of the war that the north korea was involved in?
Entity
m.01z6w1
Cambodian Civil War
class class class entity
military.war military.military_conflict military.military_combatant_group m.05b7q
military.war military.military_conflict military.military_combatant_group military.military_combatant
War Military Conflict Military combatant group North Korea
none none none none
time.event.included_in_event military.military_combatant_group.conflict military.military_combatant_group.combatants
Included in event Conflict Combatants
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :military.war . 
?x1 :type.object.type :military.military_conflict . 
?x2 :type.object.type :military.military_combatant_group . 
VALUES ?x3 { :m.05b7q } 
?x0 :time.event.included_in_event ?x1 . 
?x2 :military.military_combatant_group.conflict ?x1 . 
?x2 :military.military_combatant_group.combatants ?x3 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x0 != ?x3 && ?x1 != ?x2 && ?x1 != ?x3 && ?x2 != ?x3  )
}
}
(AND military.war (JOIN time.event.included_in_event (JOIN (R military.military_combatant_group.conflict) (JOIN military.military_combatant_group.combatants m.05b7q))))