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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WindowsOS

Sigma KEE - WindowsOS
WindowsOS

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 57-57 WindowsOS is a subclass of operating system

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1096-1096 Windows 10 is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1063-1063 Windows 7 is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1074-1074 Windows 8 is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1085-1085 Windows 8.1 is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1019-1019 Windows 98 is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1030-1030 Windows ME is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 974-974 Windows 1.0 is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 985-985 Windows 2.0 is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 996-996 Windows 3 is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1008-1008 Windows 95 is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1052-1052 Windows Vista is a subclass of WindowsOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1041-1041 Windows XP is a subclass of WindowsOS

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 59-61


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