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
(subclass Text ContentBearingObject) Merge.kif 15360-15360 文本有内用物体subclass
(subclass Text Artifact) Merge.kif 15361-15361 文本人工制品subclass
(subclass JointPublication Text) MilitaryProcesses.kif 921-921 联合出版物文本subclass
(subclass Doctrine Text) MilitaryProcesses.kif 993-993 教义文本subclass
(subclass ChairmanPublication Text) MilitaryProcesses.kif 1025-1025 主席出版物文本subclass
(subclass Lyrics Text) Mid-level-ontology.kif 694-694 歌词文本subclass
(subclass Paragraph Text) Mid-level-ontology.kif 705-705 文本subclass
(subclass ChristianGospel Text) Mid-level-ontology.kif 7870-7870 基督教福音书文本subclass
(subclass Prescription Text) Mid-level-ontology.kif 9265-9265 Prescription文本subclass
(subclass MusicText Text) Mid-level-ontology.kif 14420-14420 音乐文本文本subclass
(subclass Label Text) Mid-level-ontology.kif 14472-14472 标签文本subclass
(subclass FormText Text) Mid-level-ontology.kif 14485-14485 表格文字文本subclass
(subclass Series Text) Mid-level-ontology.kif 14645-14645 系列文本subclass
(subclass Article Text) Mid-level-ontology.kif 14677-14677 文章文本subclass
(subclass NarrativeText Text) Mid-level-ontology.kif 14924-14924 叙述文本文本subclass
(subclass MotionPicture Text) Merge.kif 1392-1392 动态映像文本subclass
(subclass FactualText Text) Merge.kif 15381-15381 事实文本文本subclass
(subclass FictionalText Text) Merge.kif 15409-15409 虚构的文字文本subclass
(subclass Summary Text) Merge.kif 15586-15586 摘要文本subclass
(subclass Certificate Text) Merge.kif 15633-15633 证书文本subclass
(subclass TreatyDocument Text) Geography.kif 3034-3034 条约文件文本subclass
(subclass CalendarText Text) ComputingBrands.kif 2287-2287 日历文本subclass
(subclass Spam Text) ComputingBrands.kif 4222-4222 Spam文本subclass
(subclass LiveTestUpdate Text) ComputerInput.kif 3012-3012 LiveTestUpdate文本subclass


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