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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - monetaryValue
monetaryValue

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2668-2669
No TPTP formula. May not be expressible in strict first order. Merge.kif 7698-7700
No TPTP formula. May not be expressible in strict first order. Merge.kif 7695-7695 The number 1 argument of monetary value is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7696-7696 The number 2 argument of monetary value is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7693-7693 monetary value is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7694-7694 monetary value is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7692-7692 monetary value is an instance of single valued relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 627-627
No TPTP formula. May not be expressible in strict first order. english_format.kif 630-630
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1482-1482 appraised value is a subrelation of monetary value
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3480-3480 final price is a subrelation of monetary value
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 628-628
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38339-38339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38338-38338

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 487-499
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 817-827
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 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. Merge.kif 7719-7723

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15696-15708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23377-23394
No TPTP formula. May not be expressible in strict first order. Merge.kif 7713-7717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23405-23408
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2971-2983
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2995-3007
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 47-50
No TPTP formula. May not be expressible in strict first order. Merge.kif 15400-15403
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3485-3488
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 94-97
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2104-2124
No TPTP formula. May not be expressible in strict first order. Merge.kif 11703-11708


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