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 7412-7414
No TPTP formula. May not be expressible in strict first order. Merge.kif 7409-7409 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 7410-7410 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 7407-7407 monetary value is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7408-7408 monetary value is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7406-7406 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 633-633
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1437-1437 appraised value is a subrelation of monetary value
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3415-3415 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 463-475
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 776-782
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7427-7429 Value of belongings of an agent is equal to a currency measure if and only if value of belongings of the agent is the currency measure
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 12902-12914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20282-20299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20310-20313
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2943-2955
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2967-2979
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 14535-14538
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3420-3423
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 2064-2084
No TPTP formula. May not be expressible in strict first order. Merge.kif 11100-11105


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