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

Formal Language: 



Term 1: Term 2:

(subclass Maneuver IntentionalProcess) Merge.kif 13385-13385
(subclass BaseballManeuver Maneuver) Sports.kif 684-684
(subclass BaseballInning Maneuver) Sports.kif 757-757
(subclass FootballManeuver Maneuver) Sports.kif 815-815
(subclass GolfManeuver Maneuver) Sports.kif 938-938
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 390-390
(subclass GameShot Maneuver) Mid-level-ontology.kif 17020-17020
(subclass Catching Maneuver) Mid-level-ontology.kif 17102-17102
(subclass Ambush Maneuver) Mid-level-ontology.kif 21751-21751
(subclass Blockade Maneuver) Mid-level-ontology.kif 21771-21771
(subclass MilitaryManeuver Maneuver) Mid-level-ontology.kif 21797-21797
(subclass Attack Maneuver) Merge.kif 13398-13398
(subclass DefensiveManeuver Maneuver) Merge.kif 13420-13420


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