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. chinese_format.kif 1496-1498
No TPTP formula. May not be expressible in strict first order. Merge.kif 371-375
No TPTP formula. May not be expressible in strict first order. Merge.kif 367-367 The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 368-368 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 369-369 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 366-366 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. domainEnglishFormat.kif 20049-20049
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 20048-20048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20047-20047

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2529-2529
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 3432-3433
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4623-4625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25744-25745
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. Mid-level-ontology.kif 24926-24927
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 3177-3179
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2907-2909
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 3475-3476
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3588-3592
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3664-3664
No TPTP formula. May not be expressible in strict first order. Cars.kif 4819-4820
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2108-2114
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2100-2106
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2116-2122

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