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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - suffers
suffers

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29582-29583
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29580-29580 The number 1 argument of suffers is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29581-29581 The number 2 argument of suffers is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29578-29578 suffers is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29577-29577 suffers is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29579-29579 suffers is an instance of partial valued relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4718-4718
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4717-4717
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4716-4716
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65948-65948

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29595-29604
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3665-3678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29585-29588
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29610-29613

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3040-3054
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3022-3038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29620-29632
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3665-3678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29590-29593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18311-18320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5894-5904
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3061-3068
No TPTP formula. May not be expressible in strict first order. Law.kif 140-145
No TPTP formula. May not be expressible in strict first order. Law.kif 266-268


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