TreeView Knowledge Base Browser - SystemeInternationalUnit

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2402-2402
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6239-6240
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1084-1085
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8746-8746
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6237-6237	国际单位制是测量单位的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6721-6721	安培是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7041-7041	贝克勒尔是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6760-6760	坎德拉是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7002-7002	摄氏度是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6913-6913	库仑是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6938-6938	法拉是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6701-6701	公克是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7055-7055	戈瑞是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6991-6991	亨利是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6853-6853	赫兹是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6880-6880	焦耳是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6733-6733	凯文度是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7276-7276	公斤是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7019-7019	流明是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7029-7029	勒克司是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6691-6691	仪表是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6747-6747	痣是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6862-6862	牛顿是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6949-6949	欧姆是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6871-6871	帕斯卡是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6811-6811	弧度是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6710-6710	第二期是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6961-6961	西门子是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7066-7066	希沃特是国际单位制的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6822-6822	球面度是国际单位制的 instance

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

KB Term:			Term intersection

English Word: