Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  deviceOS

Sigma KEE - deviceOS
deviceOS

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 730-732
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 727-727 The number 1 argument of device OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 728-728 The number 2 argument of device OS is a subclass of computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 726-726 device OS is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 729-729 device OS is a subrelation of can run on

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65809-65809

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 734-743

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 692-692 device OS Apple iPhone and IOS 1
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 722-722 device OS Apple iPhone and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 724-724 device OS Apple iPhone and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 723-723 device OS Apple iPhone and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 694-694 device OS Apple iPhone and IOS 3
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 693-693 device OS Apple iPhone and IOS 2
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 695-695 device OS Apple iPhone and IOS 4
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 696-696 device OS Apple iPhone and IOS 5
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 697-697 device OS Apple iPhone and IOS 6
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 698-698 device OS Apple iPhone and IOS 7
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 699-699 device OS Apple iPhone and IOS 7
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 700-700 device OS Apple iPhone and IOS 8
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 701-701 device OS Apple iPhone and IOS 8
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 705-705 device OS Apple iPhone and Apple i phone oS901
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 706-706 device OS Apple iPhone and Apple i phone oS901
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 711-711 device OS Apple iPhone and IOS 10
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 712-712 device OS Apple iPhone and IOS 10
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 713-713 device OS Apple iPhone and IOS 11
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 714-714 device OS Apple iPhone and IOS 11
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 715-715 device OS Apple iPhone and Apple i phone oS111
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 721-721 device OS Apple iPhone and IOS 12
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 719-719 device OS Apple iPhone and IOS 12
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 720-720 device OS Apple iPhone and IOS 12
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 707-707 device OS Apple iPhone and Apple i phone oS93


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