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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntersectionFn

 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 O argumento numero 1 de IntersectionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5456-5456 O argumento numero 2 de IntersectionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5453-5453 IntersectionFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 5454-5454 IntersectionFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 5457-5457 O contra-dominio de IntersectionFn e' uma instancia de Conjunto ou Classe

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 udaCanSignify a intersecao de MouseButtonHoldDown e SlidingComputerInputDeviceAction and DraggingWithCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1805-1806 udaCanSignify a intersecao de MouseButtonHoldDown e SlidingComputerInputDeviceAction and WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1749-1750 udaCanSignify a intersecao de ShiftKeyHoldDown e SlidingComputerInputDeviceAction and DraggingWithCursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1815-1816 udaCanSignify PressingKeyFn DownArrowKey and a intersecao de VerticalWindowScrolling e WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1824-1825 udaCanSignify PressingKeyFn LeftArrowKey and a intersecao de HorizontalWindowScrolling e WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1822-1823 udaCanSignify PressingKeyFn RightArrowKey and a intersecao de HorizontalWindowScrolling e WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1813-1814 udaCanSignify PressingKeyFn UpArrowKey and a intersecao de VerticalWindowScrolling e WindowScrollingByUser


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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