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

Formal Language: 



KB Term:  Term intersection
English Word: 

  pointOfIntersection

 Sigma KEE - pointOfIntersection
pointOfIntersection

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3990-3990
No TPTP formula. May not be expressible in strict first order. Merge.kif 17922-17923
No TPTP formula. May not be expressible in strict first order. Merge.kif 17919-17919 Le nombre 1 argument de pointOfIntersection est une instance de OneDimensionalFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17920-17920 Le nombre 2 argument de pointOfIntersection est une instance de OneDimensionalFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17921-17921 Le nombre 3 argument de pointOfIntersection est une instance de GeometricPoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 17918-17918 pointOfIntersection est une instance de pr�dicat ternaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1975-1975
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1974-1974
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1973-1973
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46364-46364
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46363-46363
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46362-46362

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17925-17929

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4071-4088
No TPTP formula. May not be expressible in strict first order. Merge.kif 17938-17942


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