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

Formal Language: 



KB Term:  Term intersection
English Word: 

  documentation

Sigma KEE - documentation
documentation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 418-420
No TPTP formula. May not be expressible in strict first order. Merge.kif 413-417
No TPTP formula. May not be expressible in strict first order. Merge.kif 410-410 The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 411-411 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 412-412 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 409-409 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. 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

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1112-1116
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1106-1110
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1095-1104
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1118-1122
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1157-1160
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1152-1155
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1142-1151
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1162-1169
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1206-1210
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1200-1204
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1188-1198
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1212-1215
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1253-1262
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1242-1251
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1234-1240
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1264-1266
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 3429-3430
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4614-4616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24411-24412
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

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