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

Formal Language: 



KB Term:  Term intersection
English Word: 

  pointOfFigure

Sigma KEE - pointOfFigure
pointOfFigure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3986-3987
No TPTP formula. May not be expressible in strict first order. Merge.kif 17829-17830
No TPTP formula. May not be expressible in strict first order. Merge.kif 17827-17827 The number 1 argument of point of figure is an instance of geometric point
No TPTP formula. May not be expressible in strict first order. Merge.kif 17828-17828 The number 2 argument of point of figure is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17826-17826 point of figure is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17825-17825 point of figure is a subrelation of geometric part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 794-794
No TPTP formula. May not be expressible in strict first order. english_format.kif 799-799
No TPTP formula. May not be expressible in strict first order. french_format.kif 478-478
No TPTP formula. May not be expressible in strict first order. english_format.kif 800-800
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 430-430
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 500-500
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 795-795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46356-46356
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46355-46355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46354-46354

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4966-4971

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4990-4998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4819-4833
No TPTP formula. May not be expressible in strict first order. Merge.kif 17846-17850
No TPTP formula. May not be expressible in strict first order. Merge.kif 7651-7657
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4784-4795


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