RadiusFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RadiusFn

RadiusFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4948-4949
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4952-4952	The number 1 argument of radius is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4951-4951	Radius is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4950-4950	Radius is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4953-4953	The range of radius is an instance of length measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2095-2095
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2094-2094
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2093-2093
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48586-48586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48585-48585
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48584-48584

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 4962-4965

If a length measure is equal to the radius of an object,
then the object is circle

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4955-4960	If the center of circle of an object is equal to a geometric point and the geometric point2 is a vertex of the object and the geometric point2 is geometric distance the geometric point for a length measure, then the radius of the object is equal to the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4936-4941	If the diameter of an object is equal to a real number an unit of measure(s), then there exists another real number such that the radius of the object is equal to the other real number the unit of measure(s) and the other real number and 2.0 is equal to the real number

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