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 13715-13716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13713-13713 creator 的 1 数量 是 施事体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13714-13714 creator 的 2 数量 是 实体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13712-13712 creator 是 二元谓语 的 instance

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 是 creator 的 subrelation
No TPTP formula. May not be expressible in strict first order. Music.kif 156-156 lyricist 是 creator 的 subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13717-13717

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 313-325
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 39-45
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 13718-13724

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 Adobe created Flash
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1971-1971 AppleComputer created 蘋果app 商店
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1858-1858 苹果 created 隔空播放
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1900-1900 苹果 created 隔空打印
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 956-956 苹果 created FairPlay
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 989-989 苹果 created 迁移助理
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 975-975 苹果 created Safari
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 982-982 苹果 created 设置助理
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2433-2433 苹果 created 可可触控
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3293-3293 苹果 created AppleBooks
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3306-3306 苹果 created iBookstore
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4591-4591 ByteDance created 抖音
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4622-4622 ByteDance created Toutiao
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4677-4677 EBay created EBayWebSite
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 69-69 脸书 created 脸书
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3100-3100 GoogleCorporation created GMail
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4635-4635 GoogleCorporation created YouTube
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1770-1770 微软 created 活性同步


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