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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - financialResponseTo
financialResponseTo

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


(documentation financialResponseTo EnglishLanguage "(financialResponseTo ?Response ?Request) means that ?Response is a FinancialResponse to the FinancialRequest ?Request.") FinancialOntology.kif 3986-3987
(domain financialResponseTo 1 FinancialResponse) FinancialOntology.kif 3984-3984 The number 1 argument of financial response to is an instance of financial response
(domain financialResponseTo 2 FinancialRequest) FinancialOntology.kif 3985-3985 The number 2 argument of financial response to is an instance of financial request
(instance financialResponseTo BinaryPredicate) FinancialOntology.kif 3983-3983 financial response to is an instance of binary predicate

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


(format ChineseLanguage financialResponseTo "%2 %n 是 %1 的 financial 回应") domainEnglishFormat.kif 1007-1007
(format ChineseTraditionalLanguage financialResponseTo "%2 %n 是 %1 的 financial 回應") domainEnglishFormat.kif 1006-1006
(format EnglishLanguage financialResponseTo "%2 is %n a financial response of %1") domainEnglishFormat.kif 1005-1005
(termFormat ChineseLanguage financialResponseTo "财务回应到") domainEnglishFormat.kif 23832-23832
(termFormat ChineseTraditionalLanguage financialResponseTo "財務回應到") domainEnglishFormat.kif 23831-23831
(termFormat EnglishLanguage financialResponseTo "financial response to") domainEnglishFormat.kif 23830-23830


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