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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OperatingSystem

 Sigma KEE - OperatingSystem
OperatingSystem

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 996-1000
No TPTP formula. May not be expressible in strict first order. engineering.kif 1332-1332
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 994-994 OperatingSystem est une sous-classe de SoftwareSystem

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 209-209 AppleMacOS est une sous-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2159-2159 BerkeleySoftwareDistribution est une sous-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. Media.kif 1542-1542 MacOS est une sous-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. Media.kif 1547-1547 MicrosoftWindows est une sous-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 90-90 PhoneOS est une sous-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1008-1008 Solaris est une sous-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. Media.kif 1552-1552 SymbianOS est une sous-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 60-60 WindowsOS est une sous-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42252-42252
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42251-42251
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 995-995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42250-42250

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 727-727 Le nombre 1 argument de deviceOS est une sous-classe de OperatingSystem

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3217-3229


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