registeredUser - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - registeredUser

registeredUser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 858-861
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 854-854	The number 1 argument of registered user is an instance of agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 856-856	The number 2 argument of registered user is an instance of web site
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 852-852	registered user is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4366-4366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4365-4365
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4364-4364
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 863-863

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	If a corpuscular object is an instance of digital post and an agent is an instance of agent and a web site is an instance of web site and the corpuscular object is a component of the web site and the agent created the corpuscular object and the agent is a registered user of the web site, then the corpuscular object has the purpose there exists an entity such that the entity is an instance of disseminating and the agent is an agent of the entity and the corpuscular object is a patient of the entity and the web site is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 873-879	If an agent is a registered user of a web site, then there exists an user account such that the user account is an instance of user account and the agent has account the user account and the user account is an account at the web site
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 865-871	If an agent is a registered user of a web site, then there exist a database and an object such that the database is the user database for the web site and the object is a part of the database and the object expresses the agent

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 881-885	If an user account is an account at a web site and an agent has account the user account, then the agent is a registered user of the web site
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection and for all a physical if the physical is an instance of human and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and the physical is a registered user of the web site holds during the time interval_BEFORE and there exists the time interval_DURING such that the time interval_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the physical is a registered user of the web site holds during the time interval, then the physical is a member of the collection and the collection is equal to new registrations at the web site during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3629-3638	If members of a collection have registered for a web site during a time interval and a physical is a member of the collection, then there exists another time interval such that the other time interval is an instance of time interval and the other time interval takes place during the time interval and the physical is a registered user of the web site holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3640-3650	If members of a collection have registered for a web site during a time interval and a physical is a member of the collection, then there doesn't exist another time interval such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the physical is a registered user of the web site holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 903-905	If an agent is registered on a web site, then the agent is a registered user of the web site
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1247-1249	If user an agent on a web site is watching a collection, then the agent is a registered user of the web site

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