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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChineseTraditionalLanguage
ChineseTraditionalLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2646-2646
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2822-2822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19-19
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23-23
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27-27
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35-35
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2682-2682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55-55
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2706-2706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2718-2718
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 91-91
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 111-111
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2738-2738
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2746-2746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2826-2826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 207-207
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 219-219
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2842-2842
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 223-223
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2862-2862
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2882-2882
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2890-2890
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 279-279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 283-283
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 315-315

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1192-1196
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1238-1241
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1286-1290
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1328-1337
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2112-2118
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2139-2140
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1730-1731
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2931-2935
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1588-1592
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1816-1820
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1859-1862
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1757-1760
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1930-1930
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1956-1956
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 905-907
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 922-923
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3031-3035
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 724-724
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 618-618
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 633-633
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 114-115
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 143-143
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 797-797
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 848-848
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 822-822

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners