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 テキスト言語表現subclass では %n
(subclass Text ContentBearingObject) Merge.kif 15360-15360 テキストコンテンツベアリングオブジェクトsubclass では %n
(subclass Text Artifact) Merge.kif 15361-15361 テキストアーチファクトsubclass では %n
(subclass JointPublication Text) MilitaryProcesses.kif 921-921 JointPublicationテキストsubclass では %n
(subclass Doctrine Text) MilitaryProcesses.kif 993-993 Doctrineテキストsubclass では %n
(subclass ChairmanPublication Text) MilitaryProcesses.kif 1025-1025 ChairmanPublicationテキストsubclass では %n
(subclass Lyrics Text) Mid-level-ontology.kif 694-694 Lyricsテキストsubclass では %n
(subclass Paragraph Text) Mid-level-ontology.kif 705-705 Paragraphテキストsubclass では %n
(subclass ChristianGospel Text) Mid-level-ontology.kif 7870-7870 ChristianGospelテキストsubclass では %n
(subclass Prescription Text) Mid-level-ontology.kif 9265-9265 Prescriptionテキストsubclass では %n
(subclass MusicText Text) Mid-level-ontology.kif 14420-14420 MusicTextテキストsubclass では %n
(subclass Label Text) Mid-level-ontology.kif 14472-14472 Labelテキストsubclass では %n
(subclass FormText Text) Mid-level-ontology.kif 14485-14485 FormTextテキストsubclass では %n
(subclass Series Text) Mid-level-ontology.kif 14645-14645 シリーズテキストsubclass では %n
(subclass Article Text) Mid-level-ontology.kif 14677-14677 記事テキストsubclass では %n
(subclass NarrativeText Text) Mid-level-ontology.kif 14924-14924 NarrativeTextテキストsubclass では %n
(subclass MotionPicture Text) Merge.kif 1392-1392 映画テキストsubclass では %n
(subclass FactualText Text) Merge.kif 15381-15381 FactualTextテキストsubclass では %n
(subclass FictionalText Text) Merge.kif 15409-15409 FictionalTextテキストsubclass では %n
(subclass Summary Text) Merge.kif 15586-15586 概要テキストsubclass では %n
(subclass Certificate Text) Merge.kif 15633-15633 証明書テキストsubclass では %n
(subclass TreatyDocument Text) Geography.kif 3034-3034 TreatyDocumentテキストsubclass では %n
(subclass CalendarText Text) ComputingBrands.kif 2287-2287 カレンダーテキストsubclass では %n
(subclass Spam Text) ComputingBrands.kif 4222-4222 Spamテキストsubclass では %n
(subclass LiveTestUpdate Text) ComputerInput.kif 3012-3012 LiveTestUpdateテキスト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