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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - relativeAngle
relativeAngle

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17877-17878
No TPTP formula. May not be expressible in strict first order. Merge.kif 17936-17938
No TPTP formula. May not be expressible in strict first order. Merge.kif 17874-17874 The number 1 argument of relative angle is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17875-17875 The number 2 argument of relative angle is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17876-17876 The number 3 argument of relative angle is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 17872-17872 relative angle is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17873-17873 relative angle is an instance of total valued relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17880-17880
No TPTP formula. May not be expressible in strict first order. Merge.kif 17879-17879

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17906-17931
No TPTP formula. May not be expressible in strict first order. Merge.kif 17894-17903

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17882-17892


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