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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - transactionAmount
transactionAmount

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3097-3099
No TPTP formula. May not be expressible in strict first order. Merge.kif 11096-11098
No TPTP formula. May not be expressible in strict first order. Merge.kif 11093-11093 The number 1 argument of transaction amount is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11094-11094 The number 2 argument of transaction amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 11090-11090 transaction amount is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 11091-11091 transaction amount is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11092-11092 transaction amount is an instance of total valued relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2535-2535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2534-2534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2533-2533
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 863-863 amount charged is a subrelation of transaction amount
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58780-58780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58779-58779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58778-58778

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 428-436
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-416
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3727-3741
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3704-3716
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 449-457
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 788-796
No TPTP formula. May not be expressible in strict first order. Merge.kif 11100-11105

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 463-475
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1215-1225
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 766-774
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3406-3421
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1166-1176
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1178-1187
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 646-659
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1227-1236
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 997-1006
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2282-2296
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 340-351
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1365-1375
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1382-1397
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1146-1161
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3160-3186
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1403-1420
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3203-3229
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 104-118
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 120-135
No TPTP formula. May not be expressible in strict first order. Catalog.kif 268-282
No TPTP formula. May not be expressible in strict first order. Catalog.kif 284-299
No TPTP formula. May not be expressible in strict first order. Catalog.kif 301-315
No TPTP formula. May not be expressible in strict first order. Catalog.kif 345-361
No TPTP formula. May not be expressible in strict first order. Catalog.kif 363-378

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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