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 15381-15381 Testo è una sottoclasse di EspressioneLinguistica
(subclass Text ContentBearingObject) Merge.kif 15382-15382 Testo è una sottoclasse di OggettoSemiotico
(subclass Text Artifact) Merge.kif 15383-15383 Testo è una sottoclasse di Manufatto
(subclass JointPublication Text) MilitaryProcesses.kif 921-921 JointPublication è una sottoclasse di Testo
(subclass Doctrine Text) MilitaryProcesses.kif 993-993 Doctrine è una sottoclasse di Testo
(subclass ChairmanPublication Text) MilitaryProcesses.kif 1025-1025 ChairmanPublication è una sottoclasse di Testo
(subclass Lyrics Text) Mid-level-ontology.kif 694-694 Lyrics è una sottoclasse di Testo
(subclass Paragraph Text) Mid-level-ontology.kif 705-705 Paragraph è una sottoclasse di Testo
(subclass ChristianGospel Text) Mid-level-ontology.kif 7869-7869 ChristianGospel è una sottoclasse di Testo
(subclass Prescription Text) Mid-level-ontology.kif 9264-9264 Prescription è una sottoclasse di Testo
(subclass MusicText Text) Mid-level-ontology.kif 14419-14419 MusicText è una sottoclasse di Testo
(subclass Label Text) Mid-level-ontology.kif 14471-14471 Label è una sottoclasse di Testo
(subclass FormText Text) Mid-level-ontology.kif 14484-14484 FormText è una sottoclasse di Testo
(subclass Series Text) Mid-level-ontology.kif 14644-14644 Serie è una sottoclasse di Testo
(subclass Article Text) Mid-level-ontology.kif 14676-14676 Articolo è una sottoclasse di Testo
(subclass NarrativeText Text) Mid-level-ontology.kif 14923-14923 NarrativeText è una sottoclasse di Testo
(subclass MotionPicture Text) Merge.kif 1392-1392 ImmagineDinamica è una sottoclasse di Testo
(subclass FactualText Text) Merge.kif 15403-15403 FactualText è una sottoclasse di Testo
(subclass FictionalText Text) Merge.kif 15431-15431 FictionalText è una sottoclasse di Testo
(subclass Summary Text) Merge.kif 15608-15608 Riassunto è una sottoclasse di Testo
(subclass Certificate Text) Merge.kif 15655-15655 Certificato è una sottoclasse di Testo
(subclass TreatyDocument Text) Geography.kif 3034-3034 TreatyDocument è una sottoclasse di Testo
(subclass CalendarText Text) ComputingBrands.kif 2287-2287 CalendarText è una sottoclasse di Testo
(subclass Spam Text) ComputingBrands.kif 4222-4222 Spam è una sottoclasse di Testo
(subclass LiveTestUpdate Text) ComputerInput.kif 3012-3012 LiveTestUpdate è una sottoclasse di Testo


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