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

Formal Language: 



KB Term:  Term intersection
English Word: 

  monetaryValue

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 7696-7698
No TPTP formula. May not be expressible in strict first order. Merge.kif 7693-7693 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 7694-7694 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 7691-7691 monetary value is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7692-7692 monetary value is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7690-7690 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 7717-7721

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 15645-15657
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23292-23309
No TPTP formula. May not be expressible in strict first order. Merge.kif 7711-7715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23320-23323
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 15385-15388
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 2077-2097
No TPTP formula. May not be expressible in strict first order. Merge.kif 11696-11701


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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