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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultiplicationFn

Sigma KEE - MultiplicationFn
MultiplicationFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2212-2213
No TPTP formula. May not be expressible in strict first order. Merge.kif 4703-4705
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 876-877
No TPTP formula. May not be expressible in strict first order. Merge.kif 4699-4699 The number 1 argument of multiplication is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4700-4700 The number 2 argument of multiplication is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5294-5294 1 is an identity element of multiplication
No TPTP formula. May not be expressible in strict first order. Merge.kif 4695-4695 Multiplication is an instance of associative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4694-4694 Multiplication is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4696-4696 Multiplication is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4698-4698 Multiplication is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4701-4701 The range of multiplication is an instance of real number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 680-680
No TPTP formula. May not be expressible in strict first order. english_format.kif 682-682
No TPTP formula. May not be expressible in strict first order. french_format.kif 413-413
No TPTP formula. May not be expressible in strict first order. relations-it.txt 196-196
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2130-2130
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 422-422
No TPTP formula. May not be expressible in strict first order. relations-de.txt 887-887
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 234-234
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 435-435
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 457-457
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 377-377
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39183-39183
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 681-681
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39182-39182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39181-39181
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 378-378

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2080-2090
No TPTP formula. May not be expressible in strict first order. Merge.kif 5117-5128
No TPTP formula. May not be expressible in strict first order. Geography.kif 2165-2176
No TPTP formula. May not be expressible in strict first order. Geography.kif 2125-2136
No TPTP formula. May not be expressible in strict first order. Economy.kif 1107-1115
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 587-597
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5968-5982
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5950-5962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13683-13687
No TPTP formula. May not be expressible in strict first order. Geography.kif 3912-3919
No TPTP formula. May not be expressible in strict first order. Geography.kif 3894-3901
No TPTP formula. May not be expressible in strict first order. Geography.kif 3885-3892
No TPTP formula. May not be expressible in strict first order. Geography.kif 3903-3910
No TPTP formula. May not be expressible in strict first order. Geography.kif 625-631
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19064-19068
No TPTP formula. May not be expressible in strict first order. Merge.kif 8759-8763
No TPTP formula. May not be expressible in strict first order. Geography.kif 3844-3848
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13618-13622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19083-19089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13668-13672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13591-13595
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19073-19077

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13605-13611 The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 397-399 The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2092-2106
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. Geography.kif 659-669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13566-13575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13577-13586
No TPTP formula. May not be expressible in strict first order. Merge.kif 5104-5115
No TPTP formula. May not be expressible in strict first order. Weather.kif 1486-1497
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5915-5924
No TPTP formula. May not be expressible in strict first order. Food.kif 2969-2986
No TPTP formula. May not be expressible in strict first order. Food.kif 2993-3011
No TPTP formula. May not be expressible in strict first order. Food.kif 3018-3036
No TPTP formula. May not be expressible in strict first order. Food.kif 2945-2962
No TPTP formula. May not be expressible in strict first order. Food.kif 2851-2869
No TPTP formula. May not be expressible in strict first order. Merge.kif 5086-5091
No TPTP formula. May not be expressible in strict first order. Cars.kif 3095-3109
No TPTP formula. May not be expressible in strict first order. Weather.kif 1532-1547
No TPTP formula. May not be expressible in strict first order. Geography.kif 2178-2196
No TPTP formula. May not be expressible in strict first order. Geography.kif 2138-2152
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2229-2239
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 538-548
No TPTP formula. May not be expressible in strict first order. Merge.kif 17906-17931
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2782-2795

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 402-402 A real number arc minute(s) is equal to 60.0 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 383-383 A real number angular degree(s) is equal to 60.0 and the real number arc minute(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7151-7153 A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7173-7175 A real number angstrom(s) is equal to the real number and 1.0E-10 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7367-7369 A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7353-7355 A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7425-7427 A real number byte(s) is equal to the real number and 8 bit(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7345-7347 A real number calorie(s) is equal to the real number and 4.1868 joule(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 6780-6782 A real number centimeter(s) is equal to the real number and 0.01 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7087-7089 A real number day duration(s) is equal to the real number and 24 hour duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7161-7163 A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7405-7407 A real number euro cent(s) is equal to the real number and 0.01 euro dollar(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7186-7188 A real number foot length(s) is equal to the real number and 0.3048 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7095-7097 A real number hour duration(s) is equal to the real number and 60 minute duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7193-7195 A real number inch(s) is equal to the real number and 0.0254 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7435-7437 A real number kilo byte(s) is equal to the real number and 1024 byte(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7279-7282 A real number kilogram(s) is equal to the real number and 1000 gram(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 6799-6802 A real number kilometer(s) is equal to the real number and 1000 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7445-7447 A real number mega byte(s) is equal to the real number and 1024 kilo byte(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 7097-7100 A real number micrometer(s) is equal to the real number and 0.0000001 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7200-7202 A real number mile(s) is equal to the real number and 1609.344 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 6789-6792 A real number millimeter(s) is equal to the real number and 0.001 meter(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7103-7105 A real number minute duration(s) is equal to the real number and 60 second duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7335-7337 A real number pound force(s) is equal to the real number and 4.448222 newton(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7296-7298 A real number pound mass(s) is equal to the real number and 453.59237 gram(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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