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

Formal Language: 



KB Term:  Term intersection
English Word: 

  creator

Sigma KEE - creator
creator

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13154-13155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13152-13152 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 13153-13153 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 13151-13151 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 13156-13156

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 2858-2872
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13157-13163

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 89-91
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 60-62

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2919-2919 Adobe created Flash
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1940-1940 AppleComputer created Apple app store
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1827-1827 Apple created AirPlay
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1869-1869 Apple created AirPrint
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 925-925 Apple created FairPlay
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 958-958 Apple created Migration Assistant
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 944-944 Apple created Safari
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 951-951 Apple created Setup Assistant
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2402-2402 Apple created Cocoa Touch
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3260-3260 Apple created AppleBooks
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3273-3273 Apple created iBookstore
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4555-4555 ByteDance created TikTok
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4586-4586 ByteDance created Toutiao
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4641-4641 EBay created EBayWebSite
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 65-65 Facebook created Facebook
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3069-3069 GoogleCorporation created GMail
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4599-4599 GoogleCorporation created YouTube
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1739-1739 Microsoft created ActiveSync


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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