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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OneToOneFunction

 Sigma KEE - OneToOneFunction
OneToOneFunction(function un � un)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1995-1996
No TPTP formula. May not be expressible in strict first order. Merge.kif 3371-3373
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 630-632
No TPTP formula. May not be expressible in strict first order. Merge.kif 3369-3369 Function un � un est une sous-classe de function unaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1835-1835
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1834-1834
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1833-1833
No TPTP formula. May not be expressible in strict first order. Merge.kif 3387-3387 Sequence function s�quence est une sous-classe de function un � un
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 918-918
No TPTP formula. May not be expressible in strict first order. english_format.kif 1043-1043
No TPTP formula. May not be expressible in strict first order. french_format.kif 594-594
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 124-124
No TPTP formula. May not be expressible in strict first order. terms-it.txt 127-127
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2279-2279
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 546-546
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 129-129
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 161-161
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 615-615
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 128-128

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3375-3385


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