language - Sigma Knowledge base Browser

appearance as argument number 1

(documentation language EnglishLanguage "A relation between a ContentBearingPhysical and a Language in that Entity. Note that this could be a sign language process as well as a document. Note also that a given Text might have more than one Language, so this is a Relation and not a Function.")	Merge.kif 1383-1386
(domain language 1 ContentBearingPhysical)	Merge.kif 1380-1380	domain language, 1 and ContentBearingPhysical
(domain language 2 Language)	Merge.kif 1381-1381	domain language, 2 and Language
(instance language BinaryPredicate)	Merge.kif 1379-1379	instance language and BinaryPredicate

consequent

(=>
    (instance ?W Writing)
    (exists (?S ?L)
        (and
            (instance ?S Text)
            (instance ?L WrittenHumanLanguage)
            (language ?S ?L))))

Merge.kif 1394-1400