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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - contestParticipant
contestParticipant

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21253-21257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21251-21251 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 21252-21252 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 21249-21249 contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21250-21250 contest participant is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21248-21248 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 3094-3094
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3093-3093
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3092-3092
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16965-16965
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16964-16964
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16963-16963

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23418-23437
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21297-21301

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 1377-1384
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1533-1546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23418-23437
No TPTP formula. May not be expressible in strict first order. Dining.kif 883-896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9633-9641
No TPTP formula. May not be expressible in strict first order. Music.kif 1009-1022
No TPTP formula. May not be expressible in strict first order. Music.kif 1029-1042
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8706-8714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21263-21271
No TPTP formula. May not be expressible in strict first order. Sports.kif 869-885


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