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 子類 and 遊戲片

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


(subclass BasketBall Ball) Sports.kif 346-346 子類 BasketBall and
(subclass BowlingBall Ball) Sports.kif 1120-1120 子類 BowlingBall and
(subclass GolfBall Ball) Sports.kif 325-325 子類 GolfBall and
(subclass ShotBall Ball) Mid-level-ontology.kif 17014-17014 子類 射球 and
(subclass SoccerBall Ball) Sports.kif 311-311 子類 英式足球 and
(subclass TennisBall Ball) Sports.kif 347-347 子類 TennisBall and
(subclass VolleyBall Ball) Sports.kif 345-345 子類 VolleyBall and
(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