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 17573-17574
No TPTP formula. May not be expressible in strict first order. Merge.kif 17571-17571 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 17572-17572 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 17570-17570 point of figure is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17569-17569 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. english_format.kif 800-800
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 46339-46339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46338-46338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46337-46337

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4716-4724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12919-12927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4555-4564
No TPTP formula. May not be expressible in strict first order. Merge.kif 17590-17594
No TPTP formula. May not be expressible in strict first order. Merge.kif 7561-7567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4522-4533


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