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

Formal Language: 



KB Term:  Term intersection
English Word: 

  streamOutfall

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 1682-1682 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 6648-6648 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 2203-2203 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 2308-2308 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 2273-2273 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 2238-2238 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 1884-1884 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 6634-6634 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 2088-2088 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 6660-6660 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 2018-2018 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 6673-6673 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 6268-6268 Medida de Area e' uma sub-classe de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 6209-6209 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 6279-6279 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 2542-2542 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 2864-2864 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 1188-1188 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 2810-2810 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 3015-3015 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 771-771 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 2109-2109 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 2110-2110 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 31370-31370 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 3228-3228 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 31278-31278 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 31321-31321 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 1981-1986
No TPTP formula. May not be expressible in strict first order. Merge.kif 6226-6230


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