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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17004-17004 GameArtifact est disjointement decompos� en GameBoard + GamePiece
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17005-17006
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 17003-17003 GameArtifact est une sous-classe de artefact

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 609-609 BaseballBase est une sous-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Sports.kif 637-637 BaseballBat est une sous-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17015-17015 GameBoard est une sous-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17074-17074 GameGoal est une sous-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17027-17027 GamePiece est une sous-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Sports.kif 658-658 PitchersMound est une sous-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17151-17151 PlayingCard est une sous-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 17008-17013


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