Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1103-1103 Operating system is a subclass of software system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1117-1117 Solaris is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2291-2291 Berkeley software distribution is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. Media.kif 1544-1544 Mac OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. Media.kif 1549-1549 Microsoft windows is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. Media.kif 1554-1554 Symbian OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 60-60 Windows OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 90-90 Phone OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 209-209 Mac OS is a subclass of operating system


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