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 17008-17008
(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 17007-17007 Ball è una sottoclasse di GamePiece

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


(subclass BasketBall Ball) Sports.kif 346-346 BasketBall è una sottoclasse di Ball
(subclass BowlingBall Ball) Sports.kif 1120-1120 BowlingBall è una sottoclasse di Ball
(subclass GolfBall Ball) Sports.kif 325-325 GolfBall è una sottoclasse di Ball
(subclass ShotBall Ball) Mid-level-ontology.kif 17014-17014 ShotBall è una sottoclasse di Ball
(subclass SoccerBall Ball) Sports.kif 311-311 SoccerBall è una sottoclasse di Ball
(subclass TennisBall Ball) Sports.kif 347-347 TennisBall è una sottoclasse di Ball
(subclass VolleyBall Ball) Sports.kif 345-345 VolleyBall è una sottoclasse di Ball
(termFormat ChineseLanguage Ball "球") domainEnglishFormat.kif 9672-9672
(termFormat ChineseTraditionalLanguage Ball "球") domainEnglishFormat.kif 9671-9671
(termFormat EnglishLanguage Ball "ball") domainEnglishFormat.kif 9670-9670

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


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

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


(=>
    (and
        (instance ?CATCH Catching)
        (patient ?CATCH ?BALL))
    (instance ?BALL Ball))
Mid-level-ontology.kif 17105-17109
(=>
    (and
        (instance ?PITCH Pitching)
        (patient ?PITCH ?BALL))
    (instance ?BALL Ball))
Mid-level-ontology.kif 17094-17098


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