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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntersectionFn
IntersectionFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2294-2296
No TPTP formula. May not be expressible in strict first order. Merge.kif 5459-5462
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 963-965
No TPTP formula. May not be expressible in strict first order. Merge.kif 5455-5455 The number 1 argument of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5456-5456 The number 2 argument of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5453-5453 Intersection is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5454-5454 Intersection is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5457-5457 The range of 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 496-496
No TPTP formula. May not be expressible in strict first order. english_format.kif 501-501
No TPTP formula. May not be expressible in strict first order. french_format.kif 291-291
No TPTP formula. May not be expressible in strict first order. relations-it.txt 153-153
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2068-2068
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 243-243
No TPTP formula. May not be expressible in strict first order. relations-de.txt 644-644
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 192-192
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 312-312
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 319-319
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 497-497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30745-30745
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30744-30744
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30743-30743

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1747-1748 The union of mouse button hold down and sliding computer input device action isgnifies dragging with cursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1805-1806 The union of mouse button hold down and sliding computer input device action isgnifies window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1749-1750 The union of shift key hold down and sliding computer input device action isgnifies dragging with cursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1815-1816 Pressing the down arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1824-1825 Pressing the left arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1822-1823 Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1813-1814 Pressing the up arrow key key isgnifies the union of vertical window scrolling and window scrolling by user


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