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 42254-42254 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42253-42253 |
|
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 42252-42252 |
|