Term Intersection : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguagecbczdehirosvtg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

Term 1: Term 2:

(subclass AirPump Pump)	Mid-level-ontology.kif 27150-27150	Air pump is a subclass of pump
(subclass NonInvasiveVentilator AirPump)	Medicine.kif 4101-4101	Non-invasive ventilator is a subclass of air pump
(subclass InvasiveVentilator AirPump)	Medicine.kif 4105-4105	Invasive ventilator is a subclass of air pump

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