AppleIPad - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AppleIPad

AppleIPad(iPad)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 619-619
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 618-618
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 616-617
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 620-621
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 615-615	IPad is a subclass of AppleComputer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 614-614	IPad is a subclass of TabletComputer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 626-626
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 624-624
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 627-627

antecedent

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

ComputingBrands.kif 3130-3135

If a kind of object is an instance of iPad,
then there exists another kind of object such that another kind of object is an instance of home button and instance of the other kind of object are always initially part of instances of a kind of object

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners