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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - holdsObligation
holdsObligation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3898-3899
No TPTP formula. May not be expressible in strict first order. Merge.kif 16120-16122
No TPTP formula. May not be expressible in strict first order. Merge.kif 16117-16117 The number 1 argument of holds obligation is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 16118-16118 The number 2 argument of holds obligation is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16116-16116 holds obligation is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16115-16115 holds obligation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16119-16119 holds obligation is internally related to holds right

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 213-213
No TPTP formula. May not be expressible in strict first order. english_format.kif 217-217
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28267-28267 "持有义务" is the printable form of holds obligation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 214-214 "有执行义务" is the printable form of holds obligation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28266-28266 "持有義務" is the printable form of holds obligation in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28265-28265 "holds obligation" is the printable form of holds obligation in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 701-706
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 614-626
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1165-1174
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1214-1223
No TPTP formula. May not be expressible in strict first order. Government.kif 761-769
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1352-1362
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1369-1384
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1944-1962
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1964-1982
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1916-1925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8251-8261
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2608-2624
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2562-2580
No TPTP formula. May not be expressible in strict first order. Merge.kif 16134-16136


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners