managedBy |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 639-641 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 645-645 | O argumento numero 1 de managedBy e' uma instancia de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 646-646 | O argumento numero 2 de managedBy e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 637-637 | managedBy e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3810-3810 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3809-3809 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3808-3808 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 643-643 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 648-655 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1319-1325 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1066-1068 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3307-3307 | managedBy IBookstore and AppleComputerCorporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3359-3359 | managedBy ICloud and AppleComputerCorporation |