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

Formal Language: 



Term 1: Term 2:

(subclass Motion Process) Merge.kif 11013-11013
(subclass Trip Motion) Transportation.kif 3004-3004
(subclass Stretching Motion) Mid-level-ontology.kif 17133-17133
(subclass Rotating Motion) Mid-level-ontology.kif 17441-17441
(subclass Reversing Motion) Mid-level-ontology.kif 17513-17513
(subclass Pulling Motion) Mid-level-ontology.kif 17607-17607
(subclass Pushing Motion) Mid-level-ontology.kif 17613-17613
(subclass Opening Motion) Mid-level-ontology.kif 21519-21519
(subclass Closing Motion) Mid-level-ontology.kif 21526-21526
(subclass MotionUpward Motion) Merge.kif 11059-11059
(subclass MotionDownward Motion) Merge.kif 11065-11065
(subclass BodyMotion Motion) Merge.kif 11094-11094
(subclass GeologicalProcess Motion) Merge.kif 11189-11189
(subclass WeatherProcess Motion) Merge.kif 11197-11197
(subclass LiquidMotion Motion) Merge.kif 11220-11220
(subclass GasMotion Motion) Merge.kif 11244-11244
(subclass DirectionChange Motion) Merge.kif 11274-11274
(subclass Translocation Motion) Merge.kif 11549-11549
(subclass Radiating Motion) Merge.kif 13645-13645
(subclass Irrigating Motion) Geography.kif 5706-5706
(subclass Swarming Motion) Geography.kif 6795-6795
(subclass EngineCycle Motion) Cars.kif 80-80
(subclass FourStrokeIntake Motion) Cars.kif 166-166
(subclass FourStrokeCompression Motion) Cars.kif 186-186
(subclass FourStrokeCombustion Motion) Cars.kif 202-202
(subclass FourStrokeExhaust Motion) Cars.kif 219-219
(subclass TwoStrokeIntake Motion) Cars.kif 457-457
(subclass TwoStrokeCompression Motion) Cars.kif 485-485
(subclass TwoStrokeTransfer Motion) Cars.kif 502-502
(subclass Compressing Motion) Cars.kif 1982-1982
(subclass EngineCranking Motion) Cars.kif 2208-2208


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