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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FootballUS

Sigma KEE - FootballUS
FootballUS

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


(documentation FootballUS EnglishLanguage "A TeamSport where each team tries to place the ball in the other's goal. Note that each instance of FootballUS is a football game.") Sports.kif 808-809
(subclass FootballUS TeamSport) Sports.kif 807-807 FootballUSTeamSportsubclass では %n

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


(names "American Football" FootballUS) Sports.kif 813-813 FootballUS は "American Football" の name を 持って %n{ない}
(termFormat ChineseLanguage FootballUS "美式足球赛") Sports.kif 811-811
(termFormat ChineseTraditionalLanguage FootballUS "美式足球赛") Sports.kif 812-812
(termFormat EnglishLanguage FootballUS "foot ball US") Sports.kif 810-810

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


(=>
    (instance ?F Football)
    (exists (?GAME)
        (and
            (instance ?GAME FootballUS)
            (patient ?GAME ?F))))
Sports.kif 333-338
(=>
    (instance ?M FootballManeuver)
    (exists (?G)
        (and
            (instance ?G FootballUS)
            (subProcess ?M ?G))))
Sports.kif 817-822


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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