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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - playsRoleInEventOfType
playsRoleInEventOfType

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23276-23278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23270-23270 The number 1 argument of plays role in event of type is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23271-23271 The number 2 argument of plays role in event of type is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23273-23273 The number 4 argument of plays role in event of type is an instance of time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23274-23274 The number 5 argument of plays role in event of type is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23272-23272 The number 3 argument of plays role in event of type is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23269-23269 plays role in event of type is an instance of quintary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1971-1971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1970-1970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1969-1969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46278-46278
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46277-46277
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46276-46276

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


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

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


No TPTP formula. May not be expressible in strict first order. Justice.kif 26-28 A sentient agent detained at time in place a time position for an object if and only if the sentient agent plays role in event of type detainee for confining with the time position and the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23260-23267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23289-23296
No TPTP formula. May not be expressible in strict first order. Justice.kif 75-77
No TPTP formula. May not be expressible in strict first order. Justice.kif 71-73


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