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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FunctionQuantity
FunctionQuantity(Funcao de Quantidade)

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 Funcao de Quantidade e' uma sub-classe de Quantidade Fisica

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 813-813 McgPerKg e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 1695-1695 MilesPerHour e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Cars.kif 1280-1280 O contra-dominio de AccelerationFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 6647-6647 O contra-dominio de DensityFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 2216-2216 O contra-dominio de Mean10MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 2321-2321 O contra-dominio de Mean1MinuteWindSpeedFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 2286-2286 O contra-dominio de Mean2MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 2251-2251 O contra-dominio de Mean3MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 1897-1897 O contra-dominio de Mean3SecondWindSpeedFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 6633-6633 O contra-dominio de PerFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Cars.kif 2111-2111 O contra-dominio de RotationFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 6659-6659 O contra-dominio de SpeedFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 2031-2031 O contra-dominio de ThreeSecondGustSpeedFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 6672-6672 O contra-dominio de VelocityFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 6267-6267 Medida de Area e' uma sub-classe de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 6208-6208 CompositeUnitOfMeasure e' uma sub-classe de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 2112-2112 Funcao de Quantidade Unaria e' uma sub-classe de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 6278-6278 Medida de Volume e' uma sub-classe de Funcao de Quantidade
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 O argumento numero 1 de AccelerationFn e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1054-1054 O argumento numero 2 de bandwidth e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Catalog.kif 502-502 O argumento numero 2 de contractedRentalPrice e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. WMD.kif 797-797 O argumento numero 2 de effectiveDose e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Cars.kif 2565-2565 O argumento numero 2 de engineIdleSpeed e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Cars.kif 2887-2887 O argumento numero 2 de governorSpeed e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. WMD.kif 844-844 O argumento numero 2 de lethalDose e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 1200-1200 O argumento numero 2 de precipitationRate e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 2823-2823 O argumento numero 3 de rainfallIntensity e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Catalog.kif 455-455 O argumento numero 2 de rentalPrice e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 3028-3028 O argumento numero 3 de snowfallIntensity e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 778-778 O argumento numero 2 de soundFrequency e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 2122-2122 O argumento numero 2 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Weather.kif 2123-2123 O argumento numero 3 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1711-1711 O argumento numero 2 de topSpeed e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31334-31334 O argumento numero 2 de transformerCapacity e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3047-3047 O argumento numero 3 de transitwayCapacityRate e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Catalog.kif 398-398 O argumento numero 2 de unitPrice e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31242-31242 O argumento numero 2 de voltageRatingPrimary e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31285-31285 O argumento numero 2 de voltageRatingSecondary e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2282-2282 O argumento numero 2 de yield e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 2026-2026 O conceito Quantidade Fisica e' completamente decomposto em Quantidade Constante + Funcao de Quantidade

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1994-1999
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