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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMeasure

Sigma KEE - UnitOfMeasure
UnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2394-2396
No TPTP formula. May not be expressible in strict first order. Merge.kif 6200-6205
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1074-1077
No TPTP formula. May not be expressible in strict first order. Merge.kif 6223-6223 劃分 UnitOfMeasure, CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6198-6198 子類 UnitOfMeasure and PhysicalQuantity

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 853-853 拉德 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Cars.kif 2093-2093 RevolutionsPerMinute and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6497-6497 範圍 千兆 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6469-6469 範圍 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6483-6483 範圍 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6539-6539 範圍 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6525-6525 範圍 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6553-6553 範圍 奈米 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6568-6568 範圍 皮可 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3965-3965 範圍 方形單位 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6511-6511 範圍 TERA and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6612-6612 範圍 UnitFn and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9868-9868 子類 AcidityMeasure and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6207-6207 子類 CompositeUnitOfMeasure and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6215-6215 子類 NonCompositeUnitOfMeasure and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7449-7449 子類 SoundPressureLevelUnit and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6237-6237 子類 SystemeInternationalUnit and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1301-1301
No TPTP formula. May not be expressible in strict first order. english_format.kif 1819-1819
No TPTP formula. May not be expressible in strict first order. french_format.kif 979-979
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 514-514
No TPTP formula. May not be expressible in strict first order. terms-it.txt 518-518
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2663-2663
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 931-931

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. Merge.kif 6496-6496 千兆, 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6468-6468 , 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6349-6349 測量, 2 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6482-6482 , 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6538-6538 , 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6524-6524 , 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6552-6552 奈米, 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6567-6567 皮可, 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3964-3964 方形單位, 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6510-6510 TERA, 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 900-900 組件數據ID, 4 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6150-6150 graphMeasure, 2 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Food.kif 1245-1245 mixtureRatio, 5 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 840-840 單位測量性能, 2 and UnitOfMeasure

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


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. Cars.kif 1314-1348
No TPTP formula. May not be expressible in strict first order. Weather.kif 2365-2384
No TPTP formula. May not be expressible in strict first order. Food.kif 1248-1262
No TPTP formula. May not be expressible in strict first order. Merge.kif 6620-6626
No TPTP formula. May not be expressible in strict first order. Merge.kif 6503-6507
No TPTP formula. May not be expressible in strict first order. Merge.kif 6475-6479
No TPTP formula. May not be expressible in strict first order. Merge.kif 6489-6493
No TPTP formula. May not be expressible in strict first order. Merge.kif 6545-6549
No TPTP formula. May not be expressible in strict first order. Merge.kif 6531-6535
No TPTP formula. May not be expressible in strict first order. Merge.kif 6560-6564
No TPTP formula. May not be expressible in strict first order. Merge.kif 6575-6579
No TPTP formula. May not be expressible in strict first order. Merge.kif 6517-6521
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Geography.kif 863-872
No TPTP formula. May not be expressible in strict first order. Geography.kif 852-861
No TPTP formula. May not be expressible in strict first order. Weather.kif 2130-2143
No TPTP formula. May not be expressible in strict first order. Weather.kif 2728-2748
No TPTP formula. May not be expressible in strict first order. Weather.kif 2750-2771
No TPTP formula. May not be expressible in strict first order. Weather.kif 2709-2726

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


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. Media.kif 2286-2291


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