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 372-376
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. domainEnglishFormat.kif 20056-20056
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 20055-20055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20054-20054

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2443-2443
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 3429-3430
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4620-4622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24455-24456
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 23491-23492
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 3148-3150
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2821-2823
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 3472-3473
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3482-3486
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3559-3559
No TPTP formula. May not be expressible in strict first order. Cars.kif 4797-4798
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2118-2124
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2110-2116
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2126-2132

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