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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SportsAttribute
SportsAttribute(sports attribute)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19512-19513
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8730-8730
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9682-9682
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9683-9683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19511-19511 Sports attribute is a subclass of game attribute

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 744-744 Baseball strike attribute is an instance of sports attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19527-19527 Foul is an instance of sports attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19532-19532 Sports out is an instance of sports attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54738-54738
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54737-54737
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54736-54736

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


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


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