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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballInning
BaseballInning

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


(documentation BaseballInning EnglishLanguage "A division of a Baseball game. A normal game consists of 9 innings, and each inning involves a turn a bat for both teams.") Sports.kif 758-759
(subclass BaseballInning Maneuver) Sports.kif 757-757 BaseballInning è una sottoclasse di Stratagemma

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


(termFormat ChineseLanguage BaseballInning "棒球局") domainEnglishFormat.kif 10050-10050
(termFormat ChineseTraditionalLanguage BaseballInning "棒球局") domainEnglishFormat.kif 10049-10049
(termFormat EnglishLanguage BaseballInning "baseball inning") domainEnglishFormat.kif 10048-10048

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


(=>
    (instance ?INNING BaseballInning)
    (exists (?GAME)
        (and
            (instance ?GAME Baseball)
            (subProcess ?INNING ?GAME))))
Sports.kif 761-766


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