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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4674-4676
No TPTP formula. May not be expressible in strict first order. Merge.kif 4670-4670 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 4671-4671 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 5261-5261 1 is an identity element of multiplication
No TPTP formula. May not be expressible in strict first order. Merge.kif 4666-4666 Multiplication is an instance of associative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4665-4665 Multiplication is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4667-4667 Multiplication is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4669-4669 Multiplication is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4672-4672 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 39163-39163
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 39162-39162
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39161-39161

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2085-2095
No TPTP formula. May not be expressible in strict first order. Merge.kif 5088-5099
No TPTP formula. May not be expressible in strict first order. Geography.kif 2170-2181
No TPTP formula. May not be expressible in strict first order. Geography.kif 2130-2141
No TPTP formula. May not be expressible in strict first order. Economy.kif 1102-1110
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. Mid-level-ontology.kif 13530-13534
No TPTP formula. May not be expressible in strict first order. Geography.kif 3845-3852
No TPTP formula. May not be expressible in strict first order. Geography.kif 3827-3834
No TPTP formula. May not be expressible in strict first order. Geography.kif 3818-3825
No TPTP formula. May not be expressible in strict first order. Geography.kif 3836-3843
No TPTP formula. May not be expressible in strict first order. Geography.kif 632-638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18846-18850
No TPTP formula. May not be expressible in strict first order. Merge.kif 8724-8728
No TPTP formula. May not be expressible in strict first order. Geography.kif 3777-3781
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13465-13469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18865-18871
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13515-13519
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13438-13442
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18855-18859

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13452-13458 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 2097-2111
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 666-676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13413-13422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13424-13433
No TPTP formula. May not be expressible in strict first order. Merge.kif 5075-5086
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. Merge.kif 5057-5062
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 2183-2201
No TPTP formula. May not be expressible in strict first order. Geography.kif 2143-2157
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2243-2253
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2255-2268
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 17748-17773
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2747-2760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2768-2781
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31054-31062
No TPTP formula. May not be expressible in strict first order. Merge.kif 7636-7641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4912-4917
No TPTP formula. May not be expressible in strict first order. Merge.kif 5192-5194

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 7118-7120 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 7140-7142 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 7334-7336 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 7320-7322 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 7392-7394 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 7312-7314 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 6747-6749 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 7054-7056 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 7128-7130 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 7372-7374 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 7153-7155 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 7062-7064 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 7160-7162 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 7402-7404 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 7246-7249 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 6766-6769 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 7412-7414 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 6797-6800 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 7167-7169 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 6756-6759 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 7070-7072 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 7302-7304 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 7263-7265 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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