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 7786-7788
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1388-1389
No TPTP formula. May not be expressible in strict first order. Merge.kif 7783-7783 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 7784-7784 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 7781-7781 monetary value is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7782-7782 monetary value is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7780-7780 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. french_format.kif 378-378
No TPTP formula. May not be expressible in strict first order. relations-it.txt 193-193
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2112-2112
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 387-387
No TPTP formula. May not be expressible in strict first order. relations-de.txt 822-822
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 231-231
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 400-400
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 420-420
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 371-371
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1483-1483 appraised value is a subrelation of monetary value
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3476-3476 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 38354-38354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38353-38353
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 372-372

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 818-828
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 7807-7811

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16200-16212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23828-23845
No TPTP formula. May not be expressible in strict first order. Merge.kif 7801-7805
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23856-23859
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2974-2986
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2998-3010
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 15654-15657
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3481-3484
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 11857-11862


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