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 and LinguisticExpression
(subclass Text ContentBearingObject) Merge.kif 15360-15360 子類 Text and ContentBearingObject
(subclass Text Artifact) Merge.kif 15361-15361 子類 Text and Artifact
(subclass JointPublication Text) MilitaryProcesses.kif 921-921 子類 聯合出版物 and Text
(subclass Doctrine Text) MilitaryProcesses.kif 993-993 子類 教義 and Text
(subclass ChairmanPublication Text) MilitaryProcesses.kif 1025-1025 子類 主席出版物 and Text
(subclass Lyrics Text) Mid-level-ontology.kif 694-694 子類 歌詞 and Text
(subclass Paragraph Text) Mid-level-ontology.kif 705-705 子類 and Text
(subclass ChristianGospel Text) Mid-level-ontology.kif 7870-7870 子類 基督教福音書 and Text
(subclass Prescription Text) Mid-level-ontology.kif 9265-9265 子類 Prescription and Text
(subclass MusicText Text) Mid-level-ontology.kif 14420-14420 子類 音樂文本 and Text
(subclass Label Text) Mid-level-ontology.kif 14472-14472 子類 標籤 and Text
(subclass FormText Text) Mid-level-ontology.kif 14485-14485 子類 表格文字 and Text
(subclass Series Text) Mid-level-ontology.kif 14645-14645 子類 Series and Text
(subclass Article Text) Mid-level-ontology.kif 14677-14677 子類 Article and Text
(subclass NarrativeText Text) Mid-level-ontology.kif 14924-14924 子類 敘述文本 and Text
(subclass MotionPicture Text) Merge.kif 1392-1392 子類 MotionPicture and Text
(subclass FactualText Text) Merge.kif 15381-15381 子類 事實文本 and Text
(subclass FictionalText Text) Merge.kif 15409-15409 子類 虛構的文字 and Text
(subclass Summary Text) Merge.kif 15586-15586 子類 Summary and Text
(subclass Certificate Text) Merge.kif 15633-15633 子類 Certificate and Text
(subclass TreatyDocument Text) Geography.kif 3034-3034 子類 條約文件 and Text
(subclass CalendarText Text) ComputingBrands.kif 2287-2287 子類 日曆 and Text
(subclass Spam Text) ComputingBrands.kif 4222-4222 子類 Spam and Text
(subclass LiveTestUpdate Text) ComputerInput.kif 3012-3012 子類 LiveTestUpdate and 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