Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Maneuver IntentionalProcess) Merge.kif 13407-13407 竞争招数 是 有意图过程 的 subclass
(subclass BaseballManeuver Maneuver) Sports.kif 684-684 棒球演练 是 竞争招数 的 subclass
(subclass BaseballInning Maneuver) Sports.kif 757-757 棒球局 是 竞争招数 的 subclass
(subclass FootballManeuver Maneuver) Sports.kif 815-815 足球演练 是 竞争招数 的 subclass
(subclass GolfManeuver Maneuver) Sports.kif 938-938 高尔夫演习 是 竞争招数 的 subclass
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 390-390 直接行动活动 是 竞争招数 的 subclass
(subclass GameShot Maneuver) Mid-level-ontology.kif 17019-17019 游戏镜头 是 竞争招数 的 subclass
(subclass Catching Maneuver) Mid-level-ontology.kif 17101-17101 捕 是 竞争招数 的 subclass
(subclass Ambush Maneuver) Mid-level-ontology.kif 21750-21750 伏击 是 竞争招数 的 subclass
(subclass Blockade Maneuver) Mid-level-ontology.kif 21770-21770 封锁 是 竞争招数 的 subclass
(subclass MilitaryManeuver Maneuver) Mid-level-ontology.kif 21796-21796 军事演习 是 竞争招数 的 subclass
(subclass Attack Maneuver) Merge.kif 13420-13420 攻击 是 竞争招数 的 subclass
(subclass DefensiveManeuver Maneuver) Merge.kif 13442-13442 防守机动 是 竞争招数 的 subclass


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