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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FunctionQuantity
FunctionQuantity

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1790-1796
No TPTP formula. May not be expressible in strict first order. Merge.kif 2102-2110
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 406-411
No TPTP formula. May not be expressible in strict first order. Merge.kif 2100-2100 子類 FunctionQuantity and PhysicalQuantity

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 813-813 McgPerKg and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1699-1699 MilesPerHour and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 1280-1280 範圍 AccelerationFn and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6647-6647 範圍 密度 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2220-2220 範圍 Mean10MinutesWindSpeedFn and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2325-2325 範圍 Mean1MinuteWindSpeedFn and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2290-2290 範圍 Mean2MinutesWindSpeedFn and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2255-2255 範圍 Mean3MinutesWindSpeedFn and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1901-1901 範圍 Mean3SecondWindSpeedFn and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6633-6633 範圍 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2105-2105 範圍 RotationFn and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6659-6659 範圍 速度 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2035-2035 範圍 ThreeSecondGustSpeedFn and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6672-6672 範圍 速度 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6267-6267 子類 AreaMeasure and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6208-6208 子類 CompositeUnitOfMeasure and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2112-2112 子類 UnaryConstantFunctionQuantity and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6278-6278 子類 VolumeMeasure and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 882-882
No TPTP formula. May not be expressible in strict first order. english_format.kif 966-966
No TPTP formula. May not be expressible in strict first order. french_format.kif 558-558
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 88-88
No TPTP formula. May not be expressible in strict first order. terms-it.txt 91-91
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2243-2243

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1274-1274 AccelerationFn, 1 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1054-1054 帶寬, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Catalog.kif 502-502 contractedRentalPrice, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. WMD.kif 797-797 有效劑量, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2559-2559 engineIdleSpeed, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2881-2881 governorSpeed, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. WMD.kif 844-844 致死劑量, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1204-1204 降水率, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2827-2827 rainfallIntensity, 3 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Catalog.kif 455-455 rentalPrice, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 3032-3032 snowfallIntensity, 3 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 778-778 聲音頻率, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2126-2126 speedScaleAttributeMinMax, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2127-2127 speedScaleAttributeMinMax, 3 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1711-1711 topSpeed, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31338-31338 transformerCapacity, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3047-3047 過境通行能力, 3 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Catalog.kif 398-398 unitPrice, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31246-31246 voltageRatingPrimary, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31289-31289 voltageRatingSecondary, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2282-2282 , 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2026-2026 劃分 PhysicalQuantity, ConstantQuantity and FunctionQuantity

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1998-2003
No TPTP formula. May not be expressible in strict first order. Merge.kif 6225-6229


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