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 10503-10504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10501-10501 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 10502-10502 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 10500-10500 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 10505-10505

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

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 1739-1739 ActiveSync created Microsoft
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2909-2909 Flash created Adobe
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1825-1825 AirPlay created Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1867-1867 AirPrint created Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1938-1938 Apple app store created AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 925-925 FairPlay created Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 958-958 Migration Assistant created Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 944-944 Safari created Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 951-951 Setup Assistant created Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2400-2400 Cocoa Touch created Apple
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 3059-3059 GMail created GoogleCorporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3267-3267 AppleBooks created Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3280-3280 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