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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Language

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 3156-3156 abbreviatedDisplayTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3124-3124 alternativeTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24581-24581 canonicalPlaceName, 2 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3145-3145 displayTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4618-4618 用語言表達, 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 3195-3195 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 3217-3217 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 3185-3185 originalTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3174-3174 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 4479-4479 用語言表示, 3 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3134-3134 sortingTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 737-737 說語言, 2 and Language
No TPTP formula. May not be expressible in strict first order. Media.kif 3053-3053 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 3227-3227 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 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