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

Formal Language: 



KB Term:  Term intersection
English Word: 

  contestParticipant

Sigma KEE - contestParticipant
contestParticipant

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19032-19036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19030-19030 The number 1 argument of contest participant is an instance of contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19031-19031 The number 2 argument of contest participant is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19028-19028 contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19029-19029 contest participant is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19027-19027 contest participant is a subrelation of agent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3103-3103
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3102-3102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3101-3101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16947-16947
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16946-16946
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16945-16945

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21234-21253
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19076-19080

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 1291-1298
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1497-1510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21234-21253
No TPTP formula. May not be expressible in strict first order. Dining.kif 836-849
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8030-8038
No TPTP formula. May not be expressible in strict first order. Music.kif 1000-1013
No TPTP formula. May not be expressible in strict first order. Music.kif 1020-1033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7215-7223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19042-19050
No TPTP formula. May not be expressible in strict first order. Sports.kif 784-800


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