TreeView Knowledge Base Browser

appearance as argument number 1

(instance language BinaryPredicate)	Merge.kif 1587-1587	language is an instance of binary predicate
(domain language 1 ContentBearingPhysical)	Merge.kif 1588-1588	The number 1 argument of language is an instance of content bearing physical
(domain language 2 Language)	Merge.kif 1589-1589	The number 2 argument of language is an instance of language
(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 1592-1595	The number 2 argument of language is an instance of language

appearance as argument number 2

(format EnglishLanguage language "%2 is %n a Language of %1.")	Merge.kif 1590-1590
(termFormat EnglishLanguage language "language")	domainEnglishFormat.kif 65878-65878

consequent

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

If X is an instance of writing, then there exist Y, Z such that Y is an instance of text, Z is an instance of written human language, and Z is a Language of Y.