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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GamePiece

Sigma KEE - GamePiece
GamePiece(game piece)bishop, candlepin, castle, chess_piece, chessman, duckpin, headpin, horse, king, kingpin, knight, man, ninepin, one-spot, pawn, piece, queen, rook, skittle, skittle_pin, tenpin

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17001-17002
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17000-17000 Game piece is a subclass of game artifact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17008-17008 Ball is a subclass of game piece
No TPTP formula. May not be expressible in strict first order. Sports.kif 344-344 Foot ball is a subclass of game piece
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17004-17004 Game die is a subclass of game piece
No TPTP formula. May not be expressible in strict first order. Sports.kif 324-324 Rugby ball is a subclass of game piece
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25466-25466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25465-25465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25464-25464

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16977-16977 Game artifact is disjointly decomposed into game board and game piece

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17051-17063
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17026-17031


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