TreeView Knowledge Base Browser - sideOfFigure

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - sideOfFigure

sideOfFigure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4981-4982
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4979-4979	图形的边的 1 数量是一维图的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4980-4980	图形的边的 2 数量是几何图的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4978-4978	图形的边是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4977-4977	图形的边是几何部分的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 788-788
No TPTP formula. May not be expressible in strict first order.	english_format.kif 790-790
No TPTP formula. May not be expressible in strict first order.	french_format.kif 475-475
No TPTP formula. May not be expressible in strict first order.	english_format.kif 791-791
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 427-427
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 497-497
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 789-789
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52946-52946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52945-52945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52944-52944

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	如果几何图是客体的 attribute 和那个客体是 FourPosterBed 的 instance 和那个几何图是四边形的 instance 和那个几何图的 side 是一维图和那个几何图的 side 是另一个一维图和那个一维图不 equal 那个另外一维图，然后有存在另一个客体，第三客体,，，几何点， and 和第四客体这样那个另外客体是那个客体的 part 和那个第三客体是地板的 instance 和那个客体在那个第三客体的上和那个另外客体在那个第三客体的垂直和那个一维图是对于那个几何点的交接点那个另外一维图和那个几何点是那个第四客体的 attribute 和那个第四客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4930-4932	如果正方形的 side 是一维图，然后长度测量是那个一维图的 line 量测

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4883-4888	如果几何图是多边形的 instance，然后有存在一维图这样那个几何图的 side 是那个一维图和那个几何图是那个一维图的 geometric 部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4914-4919	如果实体是四边形的 instance，然后符号串所描述的类别 instance 的数量 equal 4

statement

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

Mid-level-ontology.kif 4893-4896

符号串所描述的类别 instance 的数量 equal 3

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