Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - underageUser
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 1264-1265
(domain underageUser 1 Human) UXExperimentalTerms.kif 1260-1260 The number 1 argument of underageUser is an instance of human
(domain underageUser 2 WebSite) UXExperimentalTerms.kif 1262-1262 The number 2 argument of underageUser is an instance of WebSite
(instance underageUser BinaryPredicate) UXExperimentalTerms.kif 1258-1258 underageUser is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage underageUser "%1 是 %2 的 underage user ") domainEnglishFormat.kif 4867-4867
(format ChineseTraditionalLanguage underageUser "%1 是 %2 的 underage user ") domainEnglishFormat.kif 4866-4866
(format EnglishLanguage underageUser "%1 is an underage user of %2") domainEnglishFormat.kif 4865-4865

antecedent
-------------------------


(=>
    (and
        (underageUser ?HUMAN ?SITE)
        (age ?HUMAN ?AGE))
    (greaterThanOrEqualTo ?AGE
        (MeasureFn 18 YearDuration)))
UXExperimentalTerms.kif 1271-1275
(=>
    (underageUser ?HUMAN ?SITE)
    (webVisitor ?HUMAN ?SITE))
UXExperimentalTerms.kif 1267-1269


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners