  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   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 11055-11056 (domain sphereRadius 1 Object) Mid-level-ontology.kif 11053-11053 The number 1 argument of sphere radius is an instance of object (domain sphereRadius 2 LengthMeasure) Mid-level-ontology.kif 11054-11054 The number 2 argument of sphere radius is an instance of length measure (instance sphereRadius BinaryPredicate) Mid-level-ontology.kif 11052-11052 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 15653-15664 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 11058-11066 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   