| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13742-13743 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13740-13740 | Le nombre 1 argument de creator est une instance de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13741-13741 | Le nombre 2 argument de creator est une instance de entit� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13739-13739 | creator 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 3146-3146 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3145-3145 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3144-3144 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 137-137 | composer est une sous-relation de creator |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 156-156 | lyricist est une sous-relation de creator |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13744-13744 |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 30-34 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 93-97 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 62-66 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 57-59 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2950-2950 | creator AdobeComputerCorp and AdobeFlashPlayer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1971-1971 | creator AppleComputer and AppleAppStore |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1858-1858 | creator AppleComputerCorporation and AirPlay |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1900-1900 | creator AppleComputerCorporation and AirPrint |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 956-956 | creator AppleComputerCorporation and AppleFairPlay |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 989-989 | creator AppleComputerCorporation and AppleMigrationAssistant |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 975-975 | creator AppleComputerCorporation and AppleSafari |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 982-982 | creator AppleComputerCorporation and AppleSetupAssistant |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2433-2433 | creator AppleComputerCorporation and CocoaTouch |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3293-3293 | creator AppleComputerCorporation and IBooks |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3306-3306 | creator AppleComputerCorporation and IBookstore |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4591-4591 | creator ByteDance and TikTok |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4622-4622 | creator ByteDance and Toutiao |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4677-4677 | creator EBay and EBayWebSite |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 69-69 | creator FacebookCorporation and Facebook |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3100-3100 | creator GoogleCorporation and GMail |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4635-4635 | creator GoogleCorporation and YouTube |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1770-1770 | creator MicrosoftCorporation and ActiveSync |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners