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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Entity

Sigma KEE - measure
measure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2632-2634
No TPTP formula. May not be expressible in strict first order. Merge.kif 7519-7522
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1347-1349
No TPTP formula. May not be expressible in strict first order. Merge.kif 7516-7516 O argumento numero 1 de measure e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order. Merge.kif 7517-7517 O argumento numero 2 de measure e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order. Merge.kif 7515-7515 measure e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 7514-7514 measure e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 607-607
No TPTP formula. May not be expressible in strict first order. english_format.kif 610-610
No TPTP formula. May not be expressible in strict first order. french_format.kif 368-368
No TPTP formula. May not be expressible in strict first order. relations-it.txt 177-177
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2102-2102
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 320-320
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order. relations-de.txt 794-794
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 215-215
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 390-390
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 409-409
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 350-350
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 868-868 absorbedDose e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7531-7531 age e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25971-25971 airTemperature e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7861-7861 barometricPressure e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1379-1379 effectiveRange e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1005-1005 fleetDeadWeightTonnage e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 987-987 fleetGrossRegisteredTonnage e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7544-7544 linearExtent e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13977-13977 loudness e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1766-1766 memorySize e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10082-10082 phMeasure e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 393-393 trackWidth e' uma sub-relacao de measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13823-13829 A medida de Fisico e' Numero Real MetricTon(s) a medida de Fisico e' Numero Real + 2205.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 A medida de Fisico e' Numero Real AngularDegree(s) a medida de Fisico e' 60.0 + Numero Real ArcMinute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 397-399 A medida de Fisico e' Numero Real ArcMinute(s) a medida de Fisico e' 60.0 + Numero Real ArcSecond(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13544-13549 A medida de Fisico e' Numero Real OunceMass(s) a medida de Fisico e' Numero Real + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2536-2539 A medida de Solucao e' Numero Real PHValue(s) potentialOfHydrogen Solucao and Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 7611-7626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18238-18249
No TPTP formula. May not be expressible in strict first order. Dining.kif 1165-1176
No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. Merge.kif 13896-13909
No TPTP formula. May not be expressible in strict first order. Geography.kif 655-665
No TPTP formula. May not be expressible in strict first order. Medicine.kif 234-249
No TPTP formula. May not be expressible in strict first order. Cars.kif 2569-2587
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 862-866
No TPTP formula. May not be expressible in strict first order. Cars.kif 2868-2886
No TPTP formula. May not be expressible in strict first order. Cars.kif 2551-2567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30951-30972
No TPTP formula. May not be expressible in strict first order. Food.kif 1321-1332
No TPTP formula. May not be expressible in strict first order. Geography.kif 2861-2872
No TPTP formula. May not be expressible in strict first order. Merge.kif 13886-13894
No TPTP formula. May not be expressible in strict first order. Cars.kif 4142-4174
No TPTP formula. May not be expressible in strict first order. Food.kif 1285-1301

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7804-7812 Objeto e' maior do que Objeto Numero Real Numero Real and Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13823-13829 A medida de Fisico e' Numero Real MetricTon(s) a medida de Fisico e' Numero Real + 2205.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 A medida de Fisico e' Numero Real AngularDegree(s) a medida de Fisico e' 60.0 + Numero Real ArcMinute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 397-399 A medida de Fisico e' Numero Real ArcMinute(s) a medida de Fisico e' 60.0 + Numero Real ArcSecond(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13544-13549 A medida de Fisico e' Numero Real OunceMass(s) a medida de Fisico e' Numero Real + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2080-2094
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25983-25992
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13754-13763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13765-13776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13784-13793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13795-13804
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13723-13732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13734-13745
No TPTP formula. May not be expressible in strict first order. Merge.kif 6160-6171
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1172-1184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26018-26033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17393-17414
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29128-29132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27794-27798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29234-29238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28428-28432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27877-27881

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