TreeView Knowledge Base Browser - AppleID

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AppleID

AppleID(Apple ID)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2003-2016
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2001-2001	Apple ID is a subclass of user account

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2078-2078
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2077-2077
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2076-2076
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2079-2079

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2018-2023	If a computer password is an instance of Apple ID and a symbolic string has password the computer password and a nonnegative integer is equal to the length of the symbolic string, then the nonnegative integer is greater than 7
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2025-2030	If an entity is an instance of Apple ID, then there exists another entity such that the other entity is an instance of email address and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2032-2037	If an user account is an instance of Apple ID, then there exists an user name such that the user name is an instance of email address and the user name of the user account is the user name

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