TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2403-2404
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6244-6245
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1086-1087
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8571-8571
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6242-6242	子類 LengthMeasure and ConstantQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4858-4858	範圍基準 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4950-4950	範圍直徑 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4964-4964	範圍半徑 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1498-1498	子類高度測量 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1303-1303
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1823-1823
No TPTP formula. May not be expressible in strict first order.	french_format.kif 981-981
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 516-516
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 520-520
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2665-2665
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 933-933
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 556-556
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 1002-1002
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 521-521

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6657-6657	域速度, 1 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6668-6668	域速度, 1 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7704-7704	域高度, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17942-17942	域 approximateDiameter, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1307-1307	域期間平均降雨量, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 212-212	域口徑, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31134-31134	域 circumfrence, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1536-1536	域 cylinderBore, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13361-13361	域 defaultMaximumHeight, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13427-13427	域 defaultMaximumLength, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13481-13481	域 defaultMaximumSphereRadius, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13394-13394	域 defaultMaximumWidth, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13345-13345	域 defaultMinimumHeight, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13411-13411	域 defaultMinimumLength, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13462-13462	域 defaultMinimumSphereRadius, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13378-13378	域 defaultMinimumWidth, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7664-7664	域直徑, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7682-7682	域距離, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1388	域有效範圍, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1892-1892	域海拔, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17976-17976	域幾何距離, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7551-7551	域高度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5012-5012	域 highTide, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2677-2677	域載貨草案, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 175-175	域寬軌鐵路的長度, 2 and LengthMeasure

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.

Cars.kif 4081-4113

例 Object and BimetalTemperatureSensor 例 Object and Metal 例 Object and Metal 等於 Object and Object 部分 Object and Object 部分 Object and Object 例 Entity and TemperatureMeasure 例 Entity and TemperatureMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 等於 Entity and Entity 等於 TimePosition and TimePosition 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber
等於部 RealNumber and RealNumber and 部 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6358-6362	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfLength 例 PhysicalQuantity and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Food.kif 1063-1073	例 Attribute and CoffeeGrindAttribute attribute Object and Attribute 例 Object and CoffeeGrind RealNumber PhysicalQuantity grainSize Object and RealNumber 例 PhysicalQuantity and LengthMeasure 等於 PhysicalQuantity and 測量 RealNumber and 毫米
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1305-1310	例 Physical and 跑道 LengthMeasure 例 LengthMeasure and LengthMeasure length Physical and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 830-835	例 Physical and 均勻的周邊區域 LengthMeasure 例 LengthMeasure and LengthMeasure 寬度 Physical and LengthMeasure

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

KB Term:			Term intersection

English Word: