TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1406-1406	语言分拆成不相交的兽语, 人类语言, 和电算机语言
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1658-1659
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1408-1411
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 246-248
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 290-293
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6658-6658
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1405-1405	语言是语言式表达的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 341-341	美国空军排名系统是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 340-340	美国军队排名系统是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 344-344	美国海岸警卫队排名系统是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 342-342	美国海军陆战队排名系统是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 343-343	美国海军排名系统是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1415-1415	兽语是语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1429-1429	人造语言是语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1446-1446	人类语言是语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1413-1413	WrittenLanguage 是语言的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 839-839
No TPTP formula. May not be expressible in strict first order.	english_format.kif 880-880
No TPTP formula. May not be expressible in strict first order.	french_format.kif 515-515
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 18-18
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 20-20
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2200-2200
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 21-21
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 536-536
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 21-21

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Media.kif 3156-3156	abbreviatedDisplayTitle 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3124-3124	alternativeTitle 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24581-24581	canonicalPlaceName 的 2 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3145-3145	displayTitle 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4618-4618	所表达的语言的 2 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 380-380	格式的 1 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3195-3195	groupingTitle 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1500-1500	language 的 2 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 1563-1563	languagePercentInRegion 的 1 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3217-3217	misspelledTitle 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1455-1455	originalExpressedInLanguage 的 2 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3185-3185	originalTitle 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3174-3174	referenceTitle 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 628-628	外部相关的概念的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4479-4479	所表示的语言的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3134-3134	sortingTitle 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 737-737	说语言的 2 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3053-3053	spellingInLanguage 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14477-14477	subLanguage 的 1 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14478-14478	subLanguage 的 2 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 665-665	纳入外部的概念的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 659-659	包含外部的概念的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3227-3227	subtitle 的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 638-638	和外部意义相同的概念的 3 数量是语言的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 387-387	术语格式的 1 数量是语言的 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: