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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OneToOneFunction
OneToOneFunction(单射函数)

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 单射函数一元函数subclass

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 序列函数单射函数subclass
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 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