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. chinese_format.kif 1496-1498
No TPTP formula. May not be expressible in strict first order. Merge.kif 372-376
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 57-60
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 63-67
No TPTP formula. May not be expressible in strict first order. Merge.kif 368-368 The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 369-369 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 370-370 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 367-367 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 97-97
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. japanese_format.kif 1897-1897
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. 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-ro.kif 90-90
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 70-70
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. domainEnglishFormat.kif 20069-20069
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 98-98
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20068-20068
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20067-20067
No TPTP formula. May not be expressible in strict first order. terms-de.txt 31-31
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 178-178

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2521-2521
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1172-1175
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1650-1658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3222-3223
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4419-4421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26652-26653
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3294-3307
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1125-1134
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1206-1231
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1139-1151
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1891-1896
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1179-1185
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2131-2136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25868-25869
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 4070-4072
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2900-2902
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1576-1585
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 3267-3268
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3584-3588
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3660-3660
No TPTP formula. May not be expressible in strict first order. Cars.kif 4876-4877
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2140-2146

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