Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - creator
creator

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13561-13562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13559-13559 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 13560-13560 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 13558-13558 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 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. domainEnglishFormat.kif 3148-3148
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 155-155 lyricist is a subrelation of creator
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13563-13563

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. ComputerInput.kif 2830-2844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13564-13570

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 69-71

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2950-2950 Adobe created Flash
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1971-1971 Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1858-1858 Apple created AirPlay
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1900-1900 Apple created AirPrint
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 956-956 Apple created FairPlay
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 989-989 Apple created Migration Assistant
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 975-975 Apple created Safari
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 982-982 Apple created Setup Assistant
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2433-2433 Apple created Cocoa Touch
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3291-3291 Apple created AppleBooks
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3304-3304 Apple created iBookstore
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4589-4589 ByteDance created TikTok
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4620-4620 ByteDance created Toutiao
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4675-4675 EBay created eBay web site
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 69-69 Facebook created Facebook
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3100-3100 Google corporation created GMail
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4633-4633 Google corporation created YouTube
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1770-1770 Microsoft created 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