Term Intersection : Welcome guest : log in

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

Term 1: Term 2:

(=>     (and         (equal ?AF             (OrganicObjectFn ?F))         (subclass ?AF AnimalFat)         (subclass ?F FatTissue))     (initialPart ?F Animal))	Food.kif 2883-2889	If equal an object and OrganicObjectFn another kind of object and the object is a subclass of AnimalFat and another kind of object is a subclass of fat tissue, then initialPart the other kind of object and animal
(subclass AnimalFat Oil)	Food.kif 2878-2878	AnimalFat is a subclass of Oil
(subclass Lard AnimalFat)	Food.kif 2891-2891	Lard is a subclass of AnimalFat
(subclass Suet AnimalFat)	Food.kif 2908-2908	Suet is a subclass of AnimalFat
(subclass Tallow AnimalFat)	Food.kif 2923-2923	Tallow is a subclass of AnimalFat

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