TreeView Knowledge Base Browser - radius

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - radius

radius

appearance as argument number 1

(documentation radius ChineseLanguage "(radius ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的半径的长度是 ?LENGTH。")	chinese_format.kif 2651-2652
(documentation radius EnglishLanguage "(radius ?CIRCLE ?LENGTH) means that the radius of the Circle ?CIRCLE has a length of ?LENGTH.")	Merge.kif 7662-7663
(documentation radius JapaneseLanguage "(radius ?CIRCLE ?LENGTH) は、Circle ?CIRCLEの半径が ?LENGTHの長さを有することを意味する。")	japanese_format.kif 1368-1369
(domain radius 1 Object)	Merge.kif 7659-7659	Die Zahl 1 Argument von radius ist ein fall von Object %n{nicht}
(domain radius 2 LengthMeasure)	Merge.kif 7660-7660	Die Zahl 2 Argument von radius ist ein fall von LengthMeasure %n{nicht}
(instance radius BinaryPredicate)	Merge.kif 7656-7656	radius ist ein fall von BinaryPredicate %n{nicht}
(instance radius SingleValuedRelation)	Merge.kif 7657-7657	radius ist ein fall von SingleValuedRelation %n{nicht}
(instance radius TotalValuedRelation)	Merge.kif 7658-7658	radius ist ein fall von TotalValuedRelation %n{nicht}

appearance as argument number 2

(format ChineseLanguage radius "%1 的 radius %n 是 %2")	chinese_format.kif 790-790
(format EnglishLanguage radius "the radius of %1 is %n %2")	english_format.kif 793-793
(format FrenchLanguage radius "le radius de %1 est %n %2")	french_format.kif 476-476
(format JapaneseLanguage radius "%1 の radius は %2 では %n")	english_format.kif 794-794
(format PortugueseLanguage radius "o radio de %1 e' %n %2")	portuguese_format.kif 428-428
(format ro radius "radius{raza} lui %1 %n{nu} este %2")	relations-ro.kif 498-498
(termFormat ChineseLanguage radius "半径")	chinese_format.kif 791-791
(termFormat ChineseTraditionalLanguage radius "半徑")	domainEnglishFormat.kif 48577-48577
(termFormat EnglishLanguage radius "radius")	domainEnglishFormat.kif 48576-48576

antecedent

(=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS)))))	Merge.kif 7665-7671	Wenn radius Object and LengthMeasure, dann es gibt GeometricPoint um fuer alle GeometricPoint wenn pointOfFigure GeometricPoint and Object, dann geometricDistance GeometricPoint, GeometricPoint and LengthMeasure
(=> (radius ?CIRCLE ?RADIUS) (shape ?CIRCLE Circle))	Merge.kif 7673-7675	Wenn radius Object and LengthMeasure, dann shape ** Object and Circle

consequent

(=> (and (instance ?C Object) (shape ?C Circle)) (exists (?R) (radius ?C ?R)))	Merge.kif 7629-7634	Wenn Object ist ein fall von Object %n{nicht} und shape Object and Circle, dann es gibt LengthMeasure um radius Object and ** LengthMeasure
(=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))	Merge.kif 7687-7692	Wenn der durchmesser von Object ist LengthMeasure %n{nicht}, dann es gibt RealNumber und UnitOfMeasure um radius Object and RealNumber UnitOfMeasure(s) und RealNumber und 2 UnitOfMeasure(s) ist gleich LengthMeasure %n{nicht}

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