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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BowlingLane

appearance as argument number 1

(documentation BowlingLane EnglishLanguage "BowlingLane is a StationaryArtifact that acts as a Transitway for a BowlingBall to knock down pins") Sports.kif 1142-1143
(subclass BowlingLane LandTransitway) Sports.kif 1141-1141 BowlingLane陆地过境通道subclass
(subclass BowlingLane StationaryArtifact) Sports.kif 1140-1140 BowlingLane固定人工制品subclass

appearance as argument number 2

(termFormat EnglishLanguage BowlingLane "bowling lane") Sports.kif 1144-1144


    (instance ?BL BowlingLane)
    (hasPurpose ?BL
        (exists (?TR ?BALL)
                (instance ?TR Translocation)
                (instance ?BALL BowlingBall)
                (patient ?TR ?BALL)
                (path ?TR ?BL)))))
Sports.kif 1146-1154


    (instance ?B Bowling)
    (exists (?BALL ?TRANS ?LANE)
            (instance ?TRANS Translocation)
            (instance ?BALL BowlingBall)
            (patient ?TRANS ?BALL)
            (instance ?LANE BowlingLane)
            (path ?TRANS ?LANE)
            (subProcess ?TRANS ?B))))
Sports.kif 1107-1116
    (instance ?BF BowlingFacility)
    (exists (?BL)
            (instance ?BL Collection)
            (memberType ?BL BowlingLane)
            (located ?BL ?BF))))
Sports.kif 1162-1168

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