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

Formal Language: 



KB Term:  Term intersection
English Word: 

  playsRoleInEvent

 Sigma KEE - playsRoleInEvent
playsRoleInEvent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23293-23296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23289-23289 在事件中发挥作用 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23290-23290 在事件中发挥作用 的 2 数量 是 格角色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23291-23291 在事件中发挥作用 的 3 数量 是 过程 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23288-23288 在事件中发挥作用 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1967-1967
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1966-1966
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1965-1965
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46274-46274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46273-46273
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46272-46272

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23312-23319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23341-23348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23298-23302
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23364-23369

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23304-23310
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 51-63
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30054-30084
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23298-23302
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 36-44
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23332-23339


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