creator |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11354-11355 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11352-11352 | The number 1 argument of creator is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11353-11353 | The number 2 argument of creator is an instance of entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11351-11351 | creator is an instance of binary predicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3151-3151 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3150-3150 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3149-3149 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 136-136 | composer is a subrelation of creator |
No TPTP formula. May not be expressible in strict first order. | Music.kif 154-154 | lyricist is a subrelation of creator |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11356-11356 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 393-405 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 44-50 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11357-11363 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 69-71 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 30-32 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 92-94 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 62-64 |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1745-1745 | ActiveSync created Microsoft |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2921-2921 | Flash created Adobe |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1836-1836 | AirPlay created Apple |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1878-1878 | AirPrint created Apple |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1949-1949 | Apple app store created AppleComputer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 931-931 | FairPlay created Apple |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 964-964 | Migration Assistant created Apple |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 950-950 | Safari created Apple |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 957-957 | Setup Assistant created Apple |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2408-2408 | Cocoa Touch created Apple |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 67-67 | Facebook created Facebook |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3071-3071 | GMail created GoogleCorporation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3279-3279 | AppleBooks created Apple |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3292-3292 | IBookstore created Apple |
![]() |
![]() |