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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Maneuver
Maneuver(manoeuvre)

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 13432-13435
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 13431-13431 Manoeuvre est une sous-classe de processus intentionnel

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21803-21803 Ambush est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Merge.kif 13444-13444 Attack est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Sports.kif 757-757 BaseballInning est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Sports.kif 684-684 BaseballManeuver est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21823-21823 Blockade est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17129-17129 Catching est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Merge.kif 13466-13466 DefensiveManeuver est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 390-390 DirectActionActivity est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Sports.kif 815-815 FootballManeuver est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17047-17047 GameShot est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Sports.kif 938-938 GolfManeuver est une sous-classe de manoeuvre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21849-21849 MilitaryManeuver est une sous-classe de manoeuvre
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 13488-13495
No TPTP formula. May not be expressible in strict first order. Merge.kif 13437-13442

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16670-16678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25921-25936


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