  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageChinesehLanguageEnglishLanguageEnglishlanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

 appearance as argument number 1 (documentation sphereRadius EnglishLanguage "(sphereRadius ?OBJECT ?LENGTH) means the radius of the spherical Object, ?OBJECT, is ?LENGTH.") Mid-level-ontology.kif 11082-11083 (domain sphereRadius 1 Object) Mid-level-ontology.kif 11080-11080 The number 1 argument of sphere radius is an instance of object (domain sphereRadius 2 LengthMeasure) Mid-level-ontology.kif 11081-11081 The number 2 argument of sphere radius is an instance of length measure (instance sphereRadius BinaryPredicate) Mid-level-ontology.kif 11079-11079 sphere radius is an instance of binary predicate

 appearance as argument number 2 antecedent (=>     (and         (approximateDiameter ?O             (MeasureFn ?L ?LM))         (sphereRadius ?S             (MeasureFn                 (DivisionFn ?L 2) ?LM))         (measure ?S             (MeasureFn ?V1 ?VM))         (measure ?O             (MeasureFn ?V2 ?VM))         (instance ?LM LengthMeasure)         (instance ?VM VolumeMeasure))     (equal ?V1 ?V2)) Mid-level-ontology.kif 15680-15691 If the approximate diameter of a self connected object is a real number the real numberM(s) and the radius of an object is the real number and 2 the real numberM(s) and the measure of the object is another real number another unit of measure(s) and the measure of the self connected object is a third real number the other unit of measure(s) and the real numberM is an instance of length measure and the other unit of measure is an instance of volume measure,then the other real number is equal to the third real number (=>     (and         (sphereRadius ?OBJECT ?RADIUS)         (attribute ?OBJECT Sphere))     (exists (?POINT)         (forall (?PART)             (=>                 (pointOfFigure ?PART ?OBJECT)                 (geometricDistance ?PART ?POINT ?RADIUS))))) Mid-level-ontology.kif 11085-11093 If the radius of an object is a length measure and sphere is an attribute of the object,then there exists a geometric point such that for all another geometric point if the other geometric point の vertex は the object では %n,then the other geometric point is geometric distance the geometric point for the length measure

 consequent   