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 e' uma sub-classe de SoftwareSystem

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 209-209 AppleMacOS e' uma sub-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2159-2159 BerkeleySoftwareDistribution e' uma sub-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. Media.kif 1542-1542 MacOS e' uma sub-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. Media.kif 1547-1547 MicrosoftWindows e' uma sub-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 90-90 PhoneOS e' uma sub-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1008-1008 Solaris e' uma sub-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. Media.kif 1552-1552 SymbianOS e' uma sub-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 60-60 WindowsOS e' uma sub-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 O argumento numero 1 de deviceOS e' uma sub-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