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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GameArtifact

 Sigma KEE - GameArtifact
GameArtifact
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16976-16976 GameArtifact e' disjuntamente decomponivel em GameBoard + GamePiece
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16977-16978
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8498-8498
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9252-9252
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9248-9248
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9249-9249
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9250-9250
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9251-9251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16975-16975 GameArtifact e' uma sub-classe de Artefato

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 609-609 BaseballBase e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Sports.kif 637-637 BaseballBat e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16987-16987 GameBoard e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17046-17046 GameGoal e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16999-16999 GamePiece e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Sports.kif 658-658 PitchersMound e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17123-17123 PlayingCard e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25430-25430
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25429-25429
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25428-25428

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16980-16985


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