underageUser |
appearance as argument number 1 |
(documentation underageUser EnglishLanguage "(underageUser ?HUMAN ?SITE) means that ?HUMAN is a webVisitor of ?SITE but is under 18 years old.") | UXExperimentalTerms.kif 1071-1072 | |
(domain underageUser 1 Human) | UXExperimentalTerms.kif 1067-1067 | Die Zahl 1 Argument von underageUser ist ein fall von Human %n{nicht} |
(domain underageUser 2 WebSite) | UXExperimentalTerms.kif 1069-1069 | Die Zahl 2 Argument von underageUser ist ein fall von WebSite %n{nicht} |
(instance underageUser BinaryPredicate) | UXExperimentalTerms.kif 1065-1065 | underageUser ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage underageUser "%1 是 %2 的 underage user ") | domainEnglishFormat.kif 4862-4862 | |
(format ChineseTraditionalLanguage underageUser "%1 是 %2 的 underage user ") | domainEnglishFormat.kif 4861-4861 | |
(format EnglishLanguage underageUser "%1 is an underage user of %2") | domainEnglishFormat.kif 4860-4860 | |
(termFormat EnglishLanguage underageUser "underage user") | domainEnglishFormat.kif 65965-65965 |
antecedent |
(=> (and (underageUser ?HUMAN ?SITE) (age ?HUMAN (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE 18)) |
UXExperimentalTerms.kif 1078-1082 |
|
(=> (underageUser ?HUMAN ?SITE) (webVisitor ?HUMAN ?SITE)) |
UXExperimentalTerms.kif 1074-1076 |
|