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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OneToOneFunction

Sigma KEE - OneToOneFunction
OneToOneFunction(one to one function)

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 One to one function is a subclass of unary function

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 is a subclass of one to one function
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