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


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