termFormat - Sigma Knowledge base Browser

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 383-384
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 380-380	域術語格式, 1 and Language
No TPTP formula. May not be expressible in strict first order.	Merge.kif 381-381	域術語格式, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 382-382	域術語格式, 3 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Merge.kif 379-379	例術語格式 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4774-4774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4773-4773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4772-4772
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57559-57559
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57558-57558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57557-57557

antecedent

No TPTP formula. May not be expressible in strict first order.

Media.kif 31-33

SymbolicString 是 Entity 的 printable form 在 Language
名 SymbolicString and Language

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 5023-5023
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5871-5871
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5877-5877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5883-5883
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6039-6039
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6057-6057
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7309-7309
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7315-7315
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7945-7945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7963-7963
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8065-8065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8641-8641
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8911-8911
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8929-8929
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 5030-5030
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5037-5037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5043-5043
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5049-5049
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5061-5061
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5067-5067
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5073-5073

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

KB Term:			Term intersection

English Word: