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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - documentation
documentation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 416-418
No TPTP formula. May not be expressible in strict first order. Merge.kif 411-415
No TPTP formula. May not be expressible in strict first order. Merge.kif 408-408 The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 409-409 The number 2 argument of documentation is an instance of human language
No TPTP formula. May not be expressible in strict first order. Merge.kif 410-410 The number 3 argument of documentation is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 407-407 documentation is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 97-97
No TPTP formula. May not be expressible in strict first order. english_format.kif 75-75
No TPTP formula. May not be expressible in strict first order. french_format.kif 71-71
No TPTP formula. May not be expressible in strict first order. relations-it.txt 81-81
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 23-23
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 21-21
No TPTP formula. May not be expressible in strict first order. relations-de.txt 110-110
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 121-121
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 115-115
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 98-98 "文档" is the printable form of documentation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3764-3764 "documentation" is the printable form of documentation in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 471-471 "«تَفْسير»" is the printable form of documentation in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 178-178 "kasulutan" is the printable form of documentation in tg

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2444-2444
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1171-1174
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1649-1657
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3430-3431
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4615-4617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23970-23971
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1124-1133
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1205-1230
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1138-1150
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1890-1895
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1178-1184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23055-23056
No TPTP formula. May not be expressible in strict first order. Communications.kif 295-296
No TPTP formula. May not be expressible in strict first order. Communications.kif 237-239
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3086-3088
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2820-2822
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1575-1584
No TPTP formula. May not be expressible in strict first order. Languages.kif 5380-5389
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3473-3474
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3475-3479
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3552-3552
No TPTP formula. May not be expressible in strict first order. Cars.kif 4828-4829
No TPTP formula. May not be expressible in strict first order. Media.kif 2534-2537
No TPTP formula. May not be expressible in strict first order. Languages.kif 3772-3774
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 508-510

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners