Sigma KB Term Intersection

(=> (and (attribute ?X Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS))	Biography.kif 730-740	Wenn Writer ist ein attribut von AutonomousAgent %n{nicht} und Entity ist ein fall von ContentBearingObject %n{nicht} und ContentBearingObject ist eine teilkategorie von Text oder ContentBearingObject ist eine teilkategorie von Document und Process ist ein fall von Writing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann AutonomousAgent ist der schreiber von ** ContentBearingObject
(subclass Document ContentBearingObject)	Mid-level-ontology.kif 26386-26386	Document ist eine teilkategorie von ContentBearingObject
(subclass Document Artifact)	Mid-level-ontology.kif 26387-26387	Document ist eine teilkategorie von Artifact
(subclass BusinessRequirementDocument Document)	UXExperimentalTerms.kif 2589-2589	BusinessRequirementDocument ist eine teilkategorie von Document
(subclass TestProtocolSpecification Document)	UXExperimentalTerms.kif 2747-2747	TestProtocolSpecification ist eine teilkategorie von Document
(subclass Book Document)	Mid-level-ontology.kif 26407-26407	Book ist eine teilkategorie von Document
(subclass TextDocument Document)	Media.kif 930-930	TextDocument ist eine teilkategorie von Document
(subclass Correspondence Document)	Media.kif 952-952	Correspondence ist eine teilkategorie von Document
(subclass HardcopyDocument Document)	Media.kif 1033-1033	HardcopyDocument ist eine teilkategorie von Document

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