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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - orderFor
orderFor

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


s__documentation(s__orderFor__m,s__EnglishLanguage,'"(orderFor ?Order ?Transaction ?Security) means that the content of ?Order is to realize an instance of ?Transaction where ?Security is the patient of ?Transaction."')

FinancialOntology.kif 1938-1939
s__domain(s__orderFor__m,n__1,s__FinancialTransaction)

FinancialOntology.kif 1935-1935 The number 1 argument of order for is an instance of financial transaction
s__domain(s__orderFor__m,n__3,s__Security)

FinancialOntology.kif 1937-1937 The number 3 argument of order for is an instance of security
s__domainSubclass(s__orderFor__m,n__2,s__FinancialTransaction)

FinancialOntology.kif 1936-1936 The number 2 argument of order for is a subclass of financial transaction
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__orderFor__m,s__TernaryPredicate)

FinancialOntology.kif 1934-1934 order for is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__orderFor__m,'"%1 %n 是 對於 %3 的 order %2 "')

domainEnglishFormat.kif 1855-1855
s__format(s__ChineseTraditionalLanguage,s__orderFor__m,'"%1 %n 是 對於 %3 的 order %2 "')

domainEnglishFormat.kif 1854-1854
s__format(s__EnglishLanguage,s__orderFor__m,'"%1 is %n order for %2 for %3"')

domainEnglishFormat.kif 1853-1853
s__termFormat(s__ChineseLanguage,s__orderFor__m,'"订购给"')

domainEnglishFormat.kif 42433-42433
s__termFormat(s__ChineseTraditionalLanguage,s__orderFor__m,'"訂購給"')

domainEnglishFormat.kif 42432-42432
s__termFormat(s__EnglishLanguage,s__orderFor__m,'"order for"')

domainEnglishFormat.kif 42431-42431

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2002-2023
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1951-1960
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1941-1949


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