canRunOn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 353-355 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 351-351 | The number 1 argument of can run on is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 352-352 | The number 2 argument of can run on is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 350-350 | can run on is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 349-349 | can run on is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2195-2195 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2194-2194 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2193-2193 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 729-729 | device OS is a subrelation of can run on |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12998-12998 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12997-12997 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12996-12996 |
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 357-363 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4254-4254 | IOS 13 is capable of ComputerProcessing Find My |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 91-91 | IPhone is capable of ComputerProcessing IOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 755-755 | IMac is capable of ComputerProcessing Apple mac oSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 814-814 | Macbook is capable of ComputerProcessing Apple mac oSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 799-799 | Macbook Air is capable of ComputerProcessing Apple mac oSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 784-784 | Macbook Pro is capable of ComputerProcessing Apple mac oSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 769-769 | Mac Pro is capable of ComputerProcessing Apple mac oSX |