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

Formal Language: 



Term 1: Term 2:

(subclass Guiding IntentionalProcess) Merge.kif 11629-11629
(subclass RailCarrierControl Guiding) Transportation.kif 2252-2252
(subclass AnimalGuiding Guiding) Mid-level-ontology.kif 4343-4343
(subclass MusicalConducting Guiding) Mid-level-ontology.kif 18492-18492
(subclass DramaticDirecting Guiding) Mid-level-ontology.kif 18542-18542
(subclass Seating Guiding) Mid-level-ontology.kif 23392-23392
(subclass Signalling Guiding) Mid-level-ontology.kif 23405-23405
(subclass AchievingControl Guiding) Mid-level-ontology.kif 23416-23416
(subclass RegulatoryProcess Guiding) Merge.kif 10839-10839
(subclass Managing Guiding) Merge.kif 10849-10849
(subclass Driving Guiding) Merge.kif 11634-11634
(subclass EducationalProcess Guiding) Merge.kif 11648-11648
(subclass GuidingMotion Guiding) ComputerInput.kif 69-69
(subclass PhysicalGuiding Guiding) ComputerInput.kif 101-101
(subclass MovingCursor Guiding) ComputerInput.kif 1725-1725


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