Sigma KB Term Intersection

(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT))	Merge.kif 15422-15429	ContentBearingPhysical はコンテンツベアリングオブジェクトの instance では %n コンテンツベアリングオブジェクトは FactualText の subclass では %n 認識エージェントはコンテンツベアリングオブジェクトの author では %n ContentBearingPhysical は公式のコンテンツを subsumes %n{ない} 公式は公式の instance では %n 認識エージェントは公式を believes %n{ない}
(subclass FactualText Text)	Merge.kif 15403-15403	FactualText はテキストの subclass では %n
(subclass Announcement FactualText)	Mid-level-ontology.kif 14518-14518	Announcement は FactualText の subclass では %n
(subclass PerformanceProgram FactualText)	Mid-level-ontology.kif 14534-14534	PerformanceProgram は FactualText の subclass では %n
(subclass Documentary FactualText)	Mid-level-ontology.kif 14583-14583	Documentary は FactualText の subclass では %n
(subclass Message FactualText)	Mid-level-ontology.kif 14766-14766	Message は FactualText の subclass では %n
(subclass Report FactualText)	Mid-level-ontology.kif 14770-14770	Report は FactualText の subclass では %n
(subclass Letter FactualText)	Mid-level-ontology.kif 14803-14803	Letter は FactualText の subclass では %n
(subclass HistoricalAccount FactualText)	Mid-level-ontology.kif 14882-14882	HistoricalAccount は FactualText の subclass では %n
(subclass ReferenceBook FactualText)	Mid-level-ontology.kif 14913-14913	ReferenceBook は FactualText の subclass では %n
(subclass Electrocardiogram FactualText)	Medicine.kif 3462-3462	Electrocardiogram は FactualText の subclass では %n
(subclass PartyPlatform FactualText)	Government.kif 2319-2319	PartyPlatform は FactualText の subclass では %n

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