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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Maneuver

Sigma KEE - Maneuver
Maneuver(maneuver)
Chinaman, aerial, artifice, assist, at-bat, audible, ball_hawking, baseball_play, baseball_swing, basket, bat, batting, bent_hang, blitz, block, blocking, bosie, bosie_ball, bowling, break, cannon, carom, catching, check, checkmate, chess_move, completed, conversion, crosscheck, crucifix, cut, cutting, demarche, device, dip, discovered_check, double, double_dribble, double_leg_circle, double_play, double_reverse, doubling, down, draw, draw_play, dribble, dribbling, earned_run, en_garde, end_run...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3301-3303
No TPTP formula. May not be expressible in strict first order. Merge.kif 13386-13389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11395-11395
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10110-10110
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11396-11396
No TPTP formula. May not be expressible in strict first order. Merge.kif 13385-13385 Maneuver is a subclass of intentional process

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21751-21751 Ambush is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Merge.kif 13398-13398 Attack is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 757-757 Baseball inning is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 684-684 Baseball maneuver is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21771-21771 Blockade is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17102-17102 Catching is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Merge.kif 13420-13420 Defensive maneuver is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 390-390 Direct action activity is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 815-815 Football maneuver is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17020-17020 Game shot is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 938-938 Golf maneuver is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21797-21797 Military maneuver is a subclass of maneuver
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1215-1215
No TPTP formula. May not be expressible in strict first order. english_format.kif 1651-1651
No TPTP formula. May not be expressible in strict first order. french_format.kif 893-893
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 426-426
No TPTP formula. May not be expressible in strict first order. terms-it.txt 429-429
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2577-2577
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 845-845
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 431-431
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 465-465
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 914-914
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 430-430

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13442-13449
No TPTP formula. May not be expressible in strict first order. Merge.kif 13391-13396

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16643-16651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25888-25903


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

Show without tree


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