Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  InternetUser

 Sigma KEE - InternetUser
InternetUser(internet user)

appearance as argument number 1
-------------------------


(instance InternetUser SocialRole) Communications.kif 504-504 Internet user is an instance of social role
(documentation InternetUser EnglishLanguage "An InternetUser is an individual who uses the Internet.") Communications.kif 505-506 Internet user is an instance of social role
(externalImage InternetUser "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Stepherrorwear114.jpg") pictureList.kif 8545-8545 Internet user is an instance of social role
(externalImage InternetUser "http://upload.wikimedia.org/wikipedia/commons/ 7/ 70/ Korean.culture_PC.bang-01.jpg") pictureList.kif 9340-9340 Internet user is an instance of social role
(externalImage InternetUser "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ E_Corner_Internet_cafe.JPG") pictureList.kif 9341-9341 Internet user is an instance of social role
(externalImage InternetUser "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ Internet_cafe_inside_Bagram_Air_Base.jpg") pictureList.kif 9342-9342 Internet user is an instance of social role

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


(subAttribute SocialNetworkingUser InternetUser) Facebook.kif 90-90 Social networking user is a subattribute of internet user
(termFormat EnglishLanguage InternetUser "internet user") domainEnglishFormat.kif 30735-30735 Social networking user is a subattribute of internet user
(termFormat ChineseTraditionalLanguage InternetUser "互聯網用戶") domainEnglishFormat.kif 30736-30736 Social networking user is a subattribute of internet user
(termFormat ChineseLanguage InternetUser "互联网用户") domainEnglishFormat.kif 30737-30737 Social networking user is a subattribute of internet user

appearance as argument number 3
-------------------------


(domain tags 1 InternetUser) Facebook.kif 556-556 The number 1 argument of tags is an instance of internet user
(domain tags 2 InternetUser) Facebook.kif 557-557 The number 2 argument of tags is an instance of internet user

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


(=>
    (attribute ?INDIVIDUAL InternetUser)
    (exists (?PROCESS)
        (and
            (agent ?PROCESS ?INDIVIDUAL)
            (instrument ?PROCESS Internet))))		 Communications.kif 508-513 If internet user is an attribute of X, then there exists Y such that X is an agent of Y and internet is an instrument for Y
(=>
    (and
        (instance ?USER InternetUser)
        (instance ?ACTION IntentionalProcess)
        (agent ?ACTION ?USER)
        (patient ?ACTION Facebook)
        (not
            (and
                (instance ?STATUS StatusUpdate)
                (result ?ACTION ?STATUS))))
    (result ?ACTION RecentActivity))		 Facebook.kif 312-322 If X is an instance of internet user, Y is an instance of intentional process, X is an agent of Y, Facebook is a patient of Y, and ~{ Z is an instance of status update } or ~{ Z is a result of Y }, then recent activity is a result of Y


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners