Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ball
Ball

appearance as argument number 1
-------------------------


(documentation Ball EnglishLanguage "Any GamePiece which has the shape of a sphere.") Mid-level-ontology.kif 18406-18406
(externalImage Ball "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_1/ 8_Ball.png") pictureList.kif 252-252
(externalImage Ball "http://upload.wikimedia.org/wikipedia/commons/8/89/ Ball.agr.jpg") pictureList.kif 32-32
(subclass Ball GamePiece) Mid-level-ontology.kif 18405-18405 Ball est une sous-classe de GamePiece

appearance as argument number 2
-------------------------


(subclass BasketBall Ball) Sports.kif 358-358 BasketBall est une sous-classe de Ball
(subclass BowlingBall Ball) Sports.kif 1133-1133 BowlingBall est une sous-classe de Ball
(subclass GolfBall Ball) Sports.kif 337-337 GolfBall est une sous-classe de Ball
(subclass ShotBall Ball) Mid-level-ontology.kif 18412-18412 ShotBall est une sous-classe de Ball
(subclass SoccerBall Ball) Sports.kif 323-323 SoccerBall est une sous-classe de Ball
(subclass TennisBall Ball) Sports.kif 359-359 TennisBall est une sous-classe de Ball
(subclass VolleyBall Ball) Sports.kif 357-357 VolleyBall est une sous-classe de Ball
(termFormat ChineseLanguage Ball "球") domainEnglishFormat.kif 9679-9679 VolleyBall est une sous-classe de Ball
(termFormat ChineseTraditionalLanguage Ball "球") domainEnglishFormat.kif 9678-9678 VolleyBall est une sous-classe de Ball
(termFormat EnglishLanguage Ball "ball") domainEnglishFormat.kif 9677-9677 VolleyBall est une sous-classe de Ball

antecedent
-------------------------


(=>
    (instance ?B Ball)
    (attribute ?B Sphere))		 Mid-level-ontology.kif 18408-18410

consequent
-------------------------


(=>
    (and
        (instance ?CATCH Catching)
        (patient ?CATCH ?BALL))
    (instance ?BALL Ball))		 Mid-level-ontology.kif 18503-18507
(=>
    (and
        (instance ?PITCH Pitching)
        (patient ?PITCH ?BALL))
    (instance ?BALL Ball))		 Mid-level-ontology.kif 18492-18496
(=>
    (equal
        (MeasureFn ?X PoundForce)
        (JankaHardnessFn ?CLASS))
    (modalAttribute
        (exists (?T ?W ?P ?B ?H ?S)
            (and
                (instance ?T ?CLASS)
                (part ?W ?T)
                (instance ?W Wood)
                (instance ?P Pushing)
                (destination ?P ?W)
                (instance ?B Ball)
                (material ?B Steel)
                (patient ?P ?B)
                (sphereRadius ?B
                    (MeasureFn 5.64 Millimeter))
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?W)
                (surface ?S ?W)
                (distance ?S ?H
                    (MeasureFn 5.64 Millimeter))
                (measure ?P
                    (MeasureFn ?X PoundForce)))) Likely))		 Mid-level-ontology.kif 10417-10440


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