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 | Le nombre 1 argument de canRunOn est une sous-classe de programme d'ordinateur |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 352-352 | Le nombre 2 argument de canRunOn est une sous-classe de Computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 350-350 | canRunOn est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 349-349 | canRunOn est une instance de pr�dicat binaire |
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 | deviceOS est une sous-relation de canRunOn |
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 | canRunOn AppleFindMy and AppleIPhoneOS13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 91-91 | canRunOn AppleIOS and AppleIPhone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 755-755 | canRunOn AppleMacOSX and AppleIMac |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 814-814 | canRunOn AppleMacOSX and AppleMacBook |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 799-799 | canRunOn AppleMacOSX and AppleMacBookAir |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 784-784 | canRunOn AppleMacOSX and AppleMacBookPro |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 769-769 | canRunOn AppleMacOSX and AppleMacPro |
![]() |
![]() |