Term Intersection : Welcome guest : log in

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

Term 1: Term 2:

(subclass Ratchet Wrench)	Cars.kif 4982-4982	Ratchet is a subclass of wrench
(subclass SnapOnRatchet Ratchet)	Cars.kif 5023-5023	Snap_On ratchet is a subclass of ratchet

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