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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rotating

Sigma KEE - Rotating
Rotating(旋轉)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17469-17470
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6831-6831
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7769-7769
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7770-7770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7771-7771
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17468-17468 子類 旋轉 and Motion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17509-17509 子類 離心運動 and 旋轉
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17525-17525 子類 向心運動 and 旋轉
No TPTP formula. May not be expressible in strict first order. Food.kif 3060-3060 子類 ChurningButter and 旋轉
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1665-1665 子類 ScrollWheelRotating and 旋轉
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17485-17485 子類 and 旋轉
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50488-50488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50487-50487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50486-50486

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2086-2086 RotationFn, 1 and 旋轉

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 617-627
No TPTP formula. May not be expressible in strict first order. Cars.kif 639-649
No TPTP formula. May not be expressible in strict first order. Cars.kif 4912-4927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17472-17483
No TPTP formula. May not be expressible in strict first order. Cars.kif 2097-2116
No TPTP formula. May not be expressible in strict first order. Weather.kif 1634-1655

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 349-361
No TPTP formula. May not be expressible in strict first order. Cars.kif 2913-2931
No TPTP formula. May not be expressible in strict first order. Cars.kif 2713-2727
No TPTP formula. May not be expressible in strict first order. Cars.kif 4286-4299
No TPTP formula. May not be expressible in strict first order. Economy.kif 6000-6011
No TPTP formula. May not be expressible in strict first order. Cars.kif 1292-1307
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17495-17507
No TPTP formula. May not be expressible in strict first order. Cars.kif 2329-2363
No TPTP formula. May not be expressible in strict first order. Cars.kif 1645-1651
No TPTP formula. May not be expressible in strict first order. Cars.kif 1658-1664
No TPTP formula. May not be expressible in strict first order. Food.kif 3065-3074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17514-17523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17529-17538
No TPTP formula. May not be expressible in strict first order. Cars.kif 2257-2269
No TPTP formula. May not be expressible in strict first order. Cars.kif 2308-2320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4191-4199
No TPTP formula. May not be expressible in strict first order. Cars.kif 2198-2213
No TPTP formula. May not be expressible in strict first order. Cars.kif 2222-2230
No TPTP formula. May not be expressible in strict first order. Cars.kif 4573-4589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15303-15311
No TPTP formula. May not be expressible in strict first order. Cars.kif 2276-2291
No TPTP formula. May not be expressible in strict first order. engineering.kif 783-785
No TPTP formula. May not be expressible in strict first order. Cars.kif 4004-4013
No TPTP formula. May not be expressible in strict first order. Cars.kif 4596-4628
No TPTP formula. May not be expressible in strict first order. Cars.kif 4135-4143

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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