No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 209-209 |
Mac OS is a subclass of operating system |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2159-2159 |
Berkeley software distribution is a subclass of operating system |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1542-1542 |
Mac OS is a subclass of operating system |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1547-1547 |
Microsoft windows 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. |
QoSontology.kif 1008-1008 |
Solaris is a subclass of operating system |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1552-1552 |
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. |
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 |
|