TreeView Knowledge Base Browser - Identifier

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Identifier

Identifier(identifier)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24535-24539
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24534-24534	Identifier is a subclass of name

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 3026-3026	Employee number is a subclass of identifier
No TPTP formula. May not be expressible in strict first order.	Media.kif 2935-2935	Formal identifier is a subclass of identifier
No TPTP formula. May not be expressible in strict first order.	Media.kif 3020-3020	Party ID is a subclass of identifier
No TPTP formula. May not be expressible in strict first order.	Media.kif 3003-3003	Product iD is a subclass of identifier
No TPTP formula. May not be expressible in strict first order.	Media.kif 3001-3001	Proprietary identifier is a subclass of identifier
No TPTP formula. May not be expressible in strict first order.	Media.kif 2933-2933	Standard identifier is a subclass of identifier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24540-24540

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 732-732	The number 1 argument of browser identifier string is an instance of identifier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 163-163	The number 1 argument of category identifier string is an instance of identifier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4015-4015	The number 1 argument of experiment identifier string is an instance of identifier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1089-1089	The number 1 argument of user identifier string is an instance of identifier

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1105-1110	If an user account is an instance of user account, then there exists an identifier such that the identifier is an instance of identifier and the ID for the user account is the identifier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1209-1216	If an agent is a visitor to a web site, then there exist an identifier and a web browser such that the identifier is an instance of identifier and the web browser is an instance of web browser and the identifier is the ID of the web browser when accessing the web site and the identifier expresses the agent

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