titleInLanguage |
appearance as argument number 1 |
(documentation titleInLanguage EnglishLanguage "(titleInLanguage ?STRING ?WORKCLASS ?LANGUAGE) means that in the Language ?LANGUAGE, instances of the ContentBearingPhysical ?WORKCLASS bear the title ?STRING.") | Media.kif 3107-3110 | |
(domain titleInLanguage 1 SymbolicString) | Media.kif 3104-3104 | The number 1 argument of title in language is an instance of symbolic string |
(domain titleInLanguage 3 Language) | Media.kif 3106-3106 | The number 3 argument of title in language is an instance of language |
(domainSubclass titleInLanguage 2 ContentBearingPhysical) | Media.kif 3105-3105 | The number 2 argument of title in language is a subclass of content bearing physical |
(instance titleInLanguage TernaryPredicate) | Media.kif 3103-3103 | title in language is an instance of ternary predicate |
(subrelation titleInLanguage representsInLanguage) | Media.kif 3111-3111 | title in language is a subrelation of represents in language |
appearance as argument number 2 |
antecedent |
consequent |
(=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)))) |
Media.kif 3234-3240 |
|