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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Language
Language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1406-1406 不相交分解 Language, AnimalLanguage, HumanLanguage and ComputerLanguage
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 子類 Language and LinguisticExpression

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


No TPTP formula. May not be expressible in strict first order. Military.kif 341-341 美國空軍排名系統 and Language
No TPTP formula. May not be expressible in strict first order. Military.kif 340-340 美國軍隊排名系統 and Language
No TPTP formula. May not be expressible in strict first order. Military.kif 344-344 美國海岸警衛隊排名系統 and Language
No TPTP formula. May not be expressible in strict first order. Military.kif 342-342 美國海軍陸戰隊排名系統 and Language
No TPTP formula. May not be expressible in strict first order. Military.kif 343-343 美國海軍排名系統 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1415-1415 子類 AnimalLanguage and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1429-1429 子類 ArtificialLanguage and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1446-1446 子類 HumanLanguage and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1413-1413 子類 WrittenLanguage and Language
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 3138-3138 abbreviatedDisplayTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3106-3106 alternativeTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24638-24638 canonicalPlaceName, 2 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3127-3127 displayTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4619-4619 用語言表達, 2 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 380-380 格式, 1 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3177-3177 groupingTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1500-1500 language, 2 and Language
No TPTP formula. May not be expressible in strict first order. People.kif 1563-1563 languagePercentInRegion, 1 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3199-3199 misspelledTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Music.kif 1455-1455 originalExpressedInLanguage, 2 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3167-3167 originalTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3156-3156 referenceTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 628-628 相關的外部概念, 3 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4480-4480 用語言表示, 3 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3116-3116 sortingTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 730-730 說語言, 2 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3035-3035 spellingInLanguage, 3 and Language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14477-14477 subLanguage, 1 and Language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14478-14478 subLanguage, 2 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 665-665 包含外部概念, 3 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 659-659 包含外在概念, 3 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3209-3209 subtitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 638-638 同義外部概念, 3 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 387-387 術語格式, 1 and Language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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