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 4536-4538
No TPTP formula. May not be expressible in strict first order. Merge.kif 4532-4532 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 4533-4533 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 5066-5066 1 is an identity element of multiplication
No TPTP formula. May not be expressible in strict first order. Merge.kif 4528-4528 Multiplication is an instance of associative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4527-4527 Multiplication is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4529-4529 Multiplication is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4531-4531 Multiplication is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4534-4534 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. domainEnglishFormat.kif 39168-39168
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 39167-39167
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39166-39166

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2085-2092
No TPTP formula. May not be expressible in strict first order. Geography.kif 2076-2083
No TPTP formula. May not be expressible in strict first order. Geography.kif 2175-2182
No TPTP formula. May not be expressible in strict first order. Geography.kif 2166-2173
No TPTP formula. May not be expressible in strict first order. Geography.kif 2133-2140
No TPTP formula. May not be expressible in strict first order. Geography.kif 2124-2131
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 532-541
No TPTP formula. May not be expressible in strict first order. Economy.kif 1103-1108
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 551-557
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13122-13126
No TPTP formula. May not be expressible in strict first order. Geography.kif 3786-3788
No TPTP formula. May not be expressible in strict first order. Geography.kif 3778-3780
No TPTP formula. May not be expressible in strict first order. Geography.kif 3774-3776
No TPTP formula. May not be expressible in strict first order. Geography.kif 3782-3784
No TPTP formula. May not be expressible in strict first order. Geography.kif 627-630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18388-18392
No TPTP formula. May not be expressible in strict first order. Merge.kif 8434-8438
No TPTP formula. May not be expressible in strict first order. Geography.kif 3746-3750
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13057-13061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13107-13111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13030-13034
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18397-18401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18407-18413

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3828-3832 An unit of measure is an instance of unit of measure and a real number is equal to 1 the square unit of the unit of measure(s) if and only if the real number is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 4914-4916 An integer mod another integer is equal to a third integer if and only if (the largest integer less than or equal to the integer and the other integer and the other integer and the third integer) is equal to the integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13044-13050 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 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 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 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2094-2104
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. Geography.kif 658-668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13005-13014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13016-13025
No TPTP formula. May not be expressible in strict first order. Weather.kif 1487-1498
No TPTP formula. May not be expressible in strict first order. Merge.kif 4896-4901
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 1533-1548
No TPTP formula. May not be expressible in strict first order. Geography.kif 2184-2196
No TPTP formula. May not be expressible in strict first order. Geography.kif 2142-2152
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2200-2210
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2212-2224
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 514-520
No TPTP formula. May not be expressible in strict first order. Merge.kif 17283-17308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2718-2729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2737-2748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30486-30494
No TPTP formula. May not be expressible in strict first order. Merge.kif 7434-7439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4649-4654

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 624-625 1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 3816-3817 1 Square meter(s) is equal to 1 meter(s) and 1 meter(s)
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 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 and the real number arc minute(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 6916-6918 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 6938-6940 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 7132-7134 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 7118-7120 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 7190-7192 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 7110-7112 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 6545-6547 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 6852-6854 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 6926-6928 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 7170-7172 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 6951-6953 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 6860-6862 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 6958-6960 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 7200-7202 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 7044-7047 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 6564-6567 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 7210-7212 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 6694-6697 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 6965-6967 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 6554-6557 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 6868-6870 A real number minute duration(s) is equal to the real number and 60 second duration(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