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 4004-4005
(domain financialResponseTo 1 FinancialResponse) FinancialOntology.kif 4002-4002 The number 1 argument of financial response to is an instance of financial response
(domain financialResponseTo 2 FinancialRequest) FinancialOntology.kif 4003-4003 The number 2 argument of financial response to is an instance of financial request
(instance financialResponseTo BinaryPredicate) FinancialOntology.kif 4001-4001 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 23826-23826
(termFormat ChineseTraditionalLanguage financialResponseTo "財務回應到") domainEnglishFormat.kif 23825-23825
(termFormat EnglishLanguage financialResponseTo "financial response to") domainEnglishFormat.kif 23824-23824


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