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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Disseminating

Sigma KEE - Disseminating
Disseminating(传播)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3243-3244
No TPTP formula. May not be expressible in strict first order. Merge.kif 13079-13082
No TPTP formula. May not be expressible in strict first order. Merge.kif 13078-13078 传播沟通subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13118-13118 广告传播subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15785-15785 广播传播subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13094-13094 示范传播subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1218-1218 传播产品传播subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1196-1196
No TPTP formula. May not be expressible in strict first order. english_format.kif 1609-1609
No TPTP formula. May not be expressible in strict first order. french_format.kif 874-874
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 407-407
No TPTP formula. May not be expressible in strict first order. terms-it.txt 410-410
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2558-2558
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 826-826
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 412-412
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 446-446
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 895-895
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 411-411

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13084-13092

consequent
-------------------------


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 14605-14612
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18954-18958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3356-3366

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4559-4564 有存在 过程 实体 这样 那个 过程传播instanceNetflix那个 过程agent那个 实体那个 过程patient那个 实体动态映像instance


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