TreeView Knowledge Base Browser - InternetUser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - InternetUser

InternetUser(internet user)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 453-454
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9343-9343
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9341-9341
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8546-8546
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9342-9342
No TPTP formula. May not be expressible in strict first order.	Communications.kif 452-452	Internet user is an instance of social role

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30733-30733
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30732-30732
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30731-30731

antecedent

No TPTP formula. May not be expressible in strict first order.

Communications.kif 456-461

If internet user is an attribute of an agent,
then there exists a process such that the agent is an agent of the process and internet is an instrument for the process

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 is open source software produced by Articulate Software and its partners