Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Text))
    (holdsDuring ?T1
        (attribute ?AGENT InformationIndustries)))
Media.kif 1894-1898
(subclass Text LinguisticExpression) Merge.kif 15359-15359 Text is a subclass of linguistic expression
(subclass Text ContentBearingObject) Merge.kif 15360-15360 Text is a subclass of content bearing object
(subclass Text Artifact) Merge.kif 15361-15361 Text is a subclass of artifact
(subclass JointPublication Text) MilitaryProcesses.kif 921-921 Joint publication is a subclass of text
(subclass Doctrine Text) MilitaryProcesses.kif 993-993 Doctrine is a subclass of text
(subclass ChairmanPublication Text) MilitaryProcesses.kif 1025-1025 Chairman publication is a subclass of text
(subclass Lyrics Text) Mid-level-ontology.kif 694-694 Lyrics is a subclass of text
(subclass Paragraph Text) Mid-level-ontology.kif 705-705 Paragraph is a subclass of text
(subclass ChristianGospel Text) Mid-level-ontology.kif 7870-7870 Christian gospel is a subclass of text
(subclass Prescription Text) Mid-level-ontology.kif 9265-9265 Prescription is a subclass of text
(subclass MusicText Text) Mid-level-ontology.kif 14420-14420 Music text is a subclass of text
(subclass Label Text) Mid-level-ontology.kif 14472-14472 Label is a subclass of text
(subclass FormText Text) Mid-level-ontology.kif 14485-14485 Form text is a subclass of text
(subclass Series Text) Mid-level-ontology.kif 14645-14645 Series is a subclass of text
(subclass Article Text) Mid-level-ontology.kif 14677-14677 Article is a subclass of text
(subclass NarrativeText Text) Mid-level-ontology.kif 14924-14924 Narrative text is a subclass of text
(subclass MotionPicture Text) Merge.kif 1392-1392 Motion picture is a subclass of text
(subclass FactualText Text) Merge.kif 15381-15381 Factual text is a subclass of text
(subclass FictionalText Text) Merge.kif 15409-15409 Fictional text is a subclass of text
(subclass Summary Text) Merge.kif 15586-15586 Summary is a subclass of text
(subclass Certificate Text) Merge.kif 15633-15633 Certificate is a subclass of text
(subclass TreatyDocument Text) Geography.kif 3034-3034 Treaty document is a subclass of text
(subclass CalendarText Text) ComputingBrands.kif 2287-2287 Calendar is a subclass of text
(subclass Spam Text) ComputingBrands.kif 4222-4222 Spam is a subclass of text
(subclass LiveTestUpdate Text) ComputerInput.kif 3012-3012 LTU is a subclass of 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