language |
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 1480-1483 | |
(domain language 1 ContentBearingPhysical) | Merge.kif 1476-1476 | |
(domain language 2 Language) | Merge.kif 1477-1477 | |
(instance language BinaryPredicate) | Merge.kif 1475-1475 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage language "%2 is %n a Language of %1.") | Merge.kif 1478-1478 | |
(termFormat EnglishLanguage language "language") | domainEnglishFormat.kif 65959-65959 |
consequent |
![]() |
(=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L)))) |
Merge.kif 1491-1497 |
![]() |
![]() |