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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MarketingResearchAndPublicOpinionPolling

 Sigma KEE - OrganicObject
OrganicObject(有机物体)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3369-3371
No TPTP formula. May not be expressible in strict first order. Merge.kif 14395-14398
No TPTP formula. May not be expressible in strict first order. pictureList.kif 907-907
No TPTP formula. May not be expressible in strict first order. Merge.kif 14394-14394 有机物体 详尽无遗地 partition 成 生物 和 解剖结构
No TPTP formula. May not be expressible in strict first order. Merge.kif 14392-14392 有机物体 是 躯体性物体 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14393-14393 有机物体 是 OrganicThing 的 subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 447-447 化学剂 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Economy.kif 5498-5498 原木材 和 有机物体 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 14959-14959 解剖结构 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 82-82 Biopolymer 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 640-640 Gene 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 351-351 Miswak 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 50-50 Nucleotide 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14400-14400 生物 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28-28 OrganismRemains 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 963-963
No TPTP formula. May not be expressible in strict first order. english_format.kif 1133-1133
No TPTP formula. May not be expressible in strict first order. french_format.kif 640-640
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 171-171
No TPTP formula. May not be expressible in strict first order. terms-it.txt 174-174
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2324-2324
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 592-592
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 208-208
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 661-661
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 175-175

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14368-14368 发育形态 的 1 数量 是 有机物体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18554-18554 DeadFn 的 1 数量 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5249-5249 OrganicObjectFn 的 1 数量 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2612-2612 栖息地的生物指示器 的 2 数量 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12235-12235 分泌物质 的 1 数量 是 有机物体 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 234-239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 58-65
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 122-130

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18115-18119
No TPTP formula. May not be expressible in strict first order. Merge.kif 10258-10273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18111-18119
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20068-20077

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 451-451 化学剂 是 有机物体 的补集 的 subclass


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