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

Formal Language: 



Term 1: Term 2:

(subclass Motion Process) Merge.kif 11035-11035
(subclass Trip Motion) Transportation.kif 3004-3004
(subclass Stretching Motion) Mid-level-ontology.kif 17132-17132
(subclass Rotating Motion) Mid-level-ontology.kif 17440-17440
(subclass Reversing Motion) Mid-level-ontology.kif 17512-17512
(subclass Pulling Motion) Mid-level-ontology.kif 17606-17606
(subclass Pushing Motion) Mid-level-ontology.kif 17612-17612
(subclass Opening Motion) Mid-level-ontology.kif 21518-21518
(subclass Closing Motion) Mid-level-ontology.kif 21525-21525
(subclass MotionUpward Motion) Merge.kif 11081-11081
(subclass MotionDownward Motion) Merge.kif 11087-11087
(subclass BodyMotion Motion) Merge.kif 11116-11116
(subclass GeologicalProcess Motion) Merge.kif 11211-11211
(subclass WeatherProcess Motion) Merge.kif 11219-11219
(subclass LiquidMotion Motion) Merge.kif 11242-11242
(subclass GasMotion Motion) Merge.kif 11266-11266
(subclass DirectionChange Motion) Merge.kif 11296-11296
(subclass Translocation Motion) Merge.kif 11571-11571
(subclass Radiating Motion) Merge.kif 13667-13667
(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 1988-1988
(subclass EngineCranking Motion) Cars.kif 2214-2214


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