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

Formal Language: 



KB Term:  Term intersection
English Word: 

  benefits

Sigma KEE - benefits
benefits

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22914-22918
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22912-22912 得益 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22913-22913 得益 的 2 数量 是 施事体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22911-22911 得益非对称关系instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22910-22910 得益二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order. english_format.kif 63-63
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1880-1880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10733-10733
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 64-64
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10732-10732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10731-10731

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22920-22925
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 29606-29608

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2563-2570
No TPTP formula. May not be expressible in strict first order. Law.kif 464-471
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. Mid-level-ontology.kif 9652-9665
No TPTP formula. May not be expressible in strict first order. Law.kif 97-102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29585-29588


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