TreeView Knowledge Base Browser - DiameterFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DiameterFn

DiameterFn

appearance as argument number 1

(documentation DiameterFn EnglishLanguage "(DiameterFn ?CIRCLE) denotes the length of the diameter of the Circle ?CIRCLE.")	Mid-level-ontology.kif 4934-4935
(domain DiameterFn 1 Object)	Mid-level-ontology.kif 4938-4938	DiameterFn の数値 1 引数はオブジェクトの instance では %n
(instance DiameterFn TotalValuedRelation)	Mid-level-ontology.kif 4937-4937	DiameterFn は合計値関係の instance では %n
(instance DiameterFn UnaryFunction)	Mid-level-ontology.kif 4936-4936	DiameterFn は 1変数関数の instance では %n
(range DiameterFn LengthMeasure)	Mid-level-ontology.kif 4939-4939	DiameterFn の range は長さ測定のインスタンスでは %n

appearance as argument number 2

(format ChineseLanguage DiameterFn "%1 的 diameter ")	domainEnglishFormat.kif 736-736
(format ChineseTraditionalLanguage DiameterFn "%1 的 diameter ")	domainEnglishFormat.kif 735-735
(format EnglishLanguage DiameterFn "the diameter of %1")	domainEnglishFormat.kif 734-734
(termFormat ChineseLanguage DiameterFn "直径")	domainEnglishFormat.kif 19434-19434
(termFormat ChineseTraditionalLanguage DiameterFn "直徑")	domainEnglishFormat.kif 19433-19433
(termFormat EnglishLanguage DiameterFn "diameter")	domainEnglishFormat.kif 19432-19432

antecedent

(=> (equal (DiameterFn ?C) (MeasureFn ?L ?U)) (exists (?R) (and (equal (RadiusFn ?C) (MeasureFn ?R ?U)) (equal (MultiplicationFn ?R 2.0) ?L))))	Mid-level-ontology.kif 4941-4946	DiameterFn オブジェクトは実数の測定単位(s) と equal では %n 実数 RadiusFn オブジェクトは実数の測定単位(s) と equal では %n 実数 + 2.0 は実数と equal では %n
(=> (equal ?L (DiameterFn ?C)) (shape ?C Circle))	Mid-level-ontology.kif 4948-4951	長さ測定は DiameterFn オブジェクトと equal では %n shape オブジェクト and Circle

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