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

Formal Language: 



KB Term:  Term intersection
English Word: 

  contestObject

Sigma KEE - contestObject
contestObject

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 876-878
No TPTP formula. May not be expressible in strict first order. Dining.kif 879-879 The number 1 argument of contest object is an instance of contest
No TPTP formula. May not be expressible in strict first order. Dining.kif 880-880 The number 2 argument of contest object is an instance of object
No TPTP formula. May not be expressible in strict first order. Dining.kif 881-881 The number 3 argument of contest object is an instance of agent
No TPTP formula. May not be expressible in strict first order. Dining.kif 875-875 contest object is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3090-3090
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3089-3089
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3088-3088
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65797-65797

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 883-896

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 900-909


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