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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17567-17568
No TPTP formula. May not be expressible in strict first order. Merge.kif 17565-17565 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 17566-17566 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 17564-17564 point of figure is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17563-17563 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 4688-4693

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4712-4720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12915-12923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4551-4560
No TPTP formula. May not be expressible in strict first order. Merge.kif 17584-17588
No TPTP formula. May not be expressible in strict first order. Merge.kif 7555-7561
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4518-4529


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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