Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GamePiece
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GamePiece GameArtifact) | Mid-level-ontology.kif 18618-18618 | Game piece is a subclass of game artifact |
| (documentation GamePiece EnglishLanguage "A GameArtifact that is moved around in a game area.") | Mid-level-ontology.kif 18619-18620 | Game piece is a subclass of game artifact |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (disjointDecomposition GameArtifact GameBoard GamePiece) | Mid-level-ontology.kif 18595-18595 | Game artifact is disjointly decomposed into game board and game piece |
| consequent |
|
|
| (=> (instance ?SHOT GameShot) (exists (?PIECE) (and (instance ?PIECE GamePiece) (patient ?SHOT ?PIECE)))) |
Mid-level-ontology.kif 18644-18649 | If X is an instance of game shot, then there exists Y such that Y is an instance of game piece and Y is a patient of X |
| (=> (and (instance ?GOAL GameGoal) (instrument ?GAME ?GOAL) (instance ?GAME Game) (subProcess ?SCORE ?GAME) (instance ?SCORE Score)) (exists (?PIECE ?TIME) (and (instance ?PIECE GamePiece) (patient ?SCORE ?PIECE) (temporalPart ?TIME (WhenFn ?SCORE)) (holdsDuring ?TIME (located ?PIECE ?GOAL))))) |
Mid-level-ontology.kif 18669-18681 | If X is an instance of game goal, X is an instrument for Y, Y is an instance of game, Z is a subprocess of Y, and Z is an instance of score, then there exist W, V such that W is an instance of game piece, W is a patient of Z, V is a part of the time of existence of Z, and W is located at X holds during V |
|