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
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries)))	Media.kif 1894-1898	Wenn entity veroeffentlicht Class haelt waehrend TimePosition %n{nicht} und Class ist eine teilkategorie von Text, dann InformationIndustries ist ein attribut von entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(subclass Text LinguisticExpression)	Merge.kif 15405-15405	Text ist eine teilkategorie von LinguisticExpression
(subclass Text ContentBearingObject)	Merge.kif 15406-15406	Text ist eine teilkategorie von ContentBearingObject
(subclass Text Artifact)	Merge.kif 15407-15407	Text ist eine teilkategorie von Artifact
(subclass JointPublication Text)	MilitaryProcesses.kif 921-921	JointPublication ist eine teilkategorie von Text
(subclass Doctrine Text)	MilitaryProcesses.kif 993-993	Doctrine ist eine teilkategorie von Text
(subclass ChairmanPublication Text)	MilitaryProcesses.kif 1025-1025	ChairmanPublication ist eine teilkategorie von Text
(subclass Lyrics Text)	Mid-level-ontology.kif 687-687	Lyrics ist eine teilkategorie von Text
(subclass Paragraph Text)	Mid-level-ontology.kif 698-698	Paragraph ist eine teilkategorie von Text
(subclass ChristianGospel Text)	Mid-level-ontology.kif 7897-7897	ChristianGospel ist eine teilkategorie von Text
(subclass Prescription Text)	Mid-level-ontology.kif 9292-9292	Prescription ist eine teilkategorie von Text
(subclass MusicText Text)	Mid-level-ontology.kif 14447-14447	MusicText ist eine teilkategorie von Text
(subclass Label Text)	Mid-level-ontology.kif 14499-14499	Label ist eine teilkategorie von Text
(subclass FormText Text)	Mid-level-ontology.kif 14512-14512	FormText ist eine teilkategorie von Text
(subclass Series Text)	Mid-level-ontology.kif 14672-14672	Series ist eine teilkategorie von Text
(subclass Article Text)	Mid-level-ontology.kif 14704-14704	Article ist eine teilkategorie von Text
(subclass NarrativeText Text)	Mid-level-ontology.kif 14951-14951	NarrativeText ist eine teilkategorie von Text
(subclass MotionPicture Text)	Merge.kif 1392-1392	MotionPicture ist eine teilkategorie von Text
(subclass FactualText Text)	Merge.kif 15427-15427	FactualText ist eine teilkategorie von Text
(subclass FictionalText Text)	Merge.kif 15455-15455	FictionalText ist eine teilkategorie von Text
(subclass Summary Text)	Merge.kif 15632-15632	Summary ist eine teilkategorie von Text
(subclass Certificate Text)	Merge.kif 15679-15679	Certificate ist eine teilkategorie von Text
(subclass TreatyDocument Text)	Geography.kif 3034-3034	TreatyDocument ist eine teilkategorie von Text
(subclass CalendarText Text)	ComputingBrands.kif 2287-2287	CalendarText ist eine teilkategorie von Text
(subclass Spam Text)	ComputingBrands.kif 4222-4222	Spam ist eine teilkategorie von Text
(subclass LiveTestUpdate Text)	ComputerInput.kif 3012-3012	LiveTestUpdate ist eine teilkategorie von Text

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