TreeView Knowledge Base Browser - Black

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Black

Black(黑色)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3953-3953
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17682-17682
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1662-1662
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17681-17681	例黑色 and PrimaryColor

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11261-11261
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11260-11260
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11259-11259

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 2728-2748

visibility 在 Region 期間 TimeInterval 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 例 TimeInterval and 一天的時間例 Process and 看著例 Object and Object Object 是黑色的 color agent Process and AutonomousAgent 患者 Process and Object 方位 AutonomousAgent, Object and 橫 Process 是 located 在 Region 期間何時 Process and TimeInterval 例 Object and Object
RealNumber 距離 AutonomousAgent, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1093-1095	例 Object and Blackboard Object 是黑色的 color
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 529-531	例 Object and 阿巴亞 attribute Object and 黑色
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 482-487	例 Object and khimar Object 部分 Object and Object attribute Object and 黑色
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 463-468	例 Object and 面紗 Object 部分 Object and Object attribute Object and 黑色
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 416-418	例 Object and oqal attribute Object and 黑色

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