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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - termFormat
termFormat

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1400-1400
No TPTP formula. May not be expressible in strict first order. Merge.kif 390-391
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 70-71
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 68-69
No TPTP formula. May not be expressible in strict first order. Merge.kif 387-387 The number 1 argument of term format is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 388-388 The number 2 argument of term format is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 389-389 The number 3 argument of term format is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 386-386 term format is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4770-4770
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4769-4769
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4768-4768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57524-57524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57523-57523
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57522-57522

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 31-33

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1405-1405
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1401-1401
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5014-5014
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5862-5862
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5868-5868
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5874-5874
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6030-6030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6048-6048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7302-7302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7308-7308
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7938-7938
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7956-7956
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8058-8058
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8634-8634
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8904-8904
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8922-8922
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2172-2172
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2177-2177
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5021-5021
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5028-5028
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5034-5034
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5040-5040
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5052-5052
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5058-5058
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5064-5064

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