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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SportsGround
SportsGround(sports ground)
more pictures...		circuit, court, handball_court, midfield, piste, racing_circuit, speedway, velodrome

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15674-15675
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6890-6890
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7986-7986
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7979-7979
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7974-7974
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7982-7982
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7980-7980
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7975-7975
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7984-7984
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7976-7976
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7988-7988
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7987-7987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7981-7981
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7978-7978
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7985-7985
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7977-7977
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7983-7983
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15673-15673 Sports ground is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54756-54756
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54755-54755
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54754-54754

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


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


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