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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Maneuver

 Sigma KEE - Maneuver
Maneuver

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 13408-13411
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 13407-13407 子類 Maneuver and IntentionalProcess

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21750-21750 子類 伏擊 and Maneuver
No TPTP formula. May not be expressible in strict first order. Merge.kif 13420-13420 子類 攻擊 and Maneuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 757-757 子類 棒球局 and Maneuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 684-684 子類 棒球演練 and Maneuver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21770-21770 子類 封鎖 and Maneuver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17101-17101 子類 捕 and Maneuver
No TPTP formula. May not be expressible in strict first order. Merge.kif 13442-13442 子類 防守機動 and Maneuver
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 390-390 子類 直接行動活動 and Maneuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 815-815 子類 足球演練 and Maneuver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17019-17019 子類 遊戲鏡頭 and Maneuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 938-938 子類 高爾夫演習 and Maneuver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21796-21796 子類 軍事演習 and 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 13464-13471
No TPTP formula. May not be expressible in strict first order. Merge.kif 13413-13418

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16642-16650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25876-25891


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