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 Le nombre 1 argument de pointOfFigure est une instance de GeometricPoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 17828-17828 Le nombre 2 argument de pointOfFigure est une instance de GeometricFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17826-17826 pointOfFigure est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 17825-17825 pointOfFigure est une sous-relation de geometricPart

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