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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeneralizedIntersectionFn
GeneralizedIntersectionFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2306-2308
No TPTP formula. May not be expressible in strict first order. Merge.kif 5501-5505
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 976-979
No TPTP formula. May not be expressible in strict first order. Merge.kif 5498-5498 The number 1 argument of generalized intersection is a subclass of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5497-5497 Generalized intersection is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5496-5496 Generalized intersection is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5499-5499 The range of generalized intersection is an instance of set or class

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 504-504
No TPTP formula. May not be expressible in strict first order. english_format.kif 509-509
No TPTP formula. May not be expressible in strict first order. french_format.kif 295-295
No TPTP formula. May not be expressible in strict first order. relations-it.txt 116-116
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2072-2072
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 247-247
No TPTP formula. May not be expressible in strict first order. relations-de.txt 656-656
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 156-156
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 316-316
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 323-323
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 242-242
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25698-25698
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 505-505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25697-25697
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25696-25696


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