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 | Die Zahl 1 Argument von titleInLanguage ist ein fall von SymbolicString %n{nicht} |
(domain titleInLanguage 3 Language) | Media.kif 3106-3106 | Die Zahl 3 Argument von titleInLanguage ist ein fall von Language %n{nicht} |
(domainSubclass titleInLanguage 2 ContentBearingPhysical) | Media.kif 3105-3105 | Die Zahl 2 Argument von titleInLanguage ist eine teilkategorie von ContentBearingPhysical %n{nicht} |
(instance titleInLanguage TernaryPredicate) | Media.kif 3103-3103 | titleInLanguage ist ein fall von TernaryPredicate %n{nicht} |
(subrelation titleInLanguage representsInLanguage) | Media.kif 3111-3111 | titleInLanguage ist eine teilrelation von inSpracheDargestellt |
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 |
|
![]() |
![]() |