OneToOneFunction - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 3366-3368
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 3364-3364	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 1839-1839
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1838-1838
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1837-1837
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3382-3382	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	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1043-1043	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	french_format.kif 594-594	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 124-124	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 127-127	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2279-2279	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 546-546	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 129-129	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 161-161	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 420-420	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 615-615	Sequence function is a subclass of one to one function
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 128-128	Sequence function is a subclass of one to one function

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3370-3380

If a function is an instance of one to one function,
then for all an entity and another entity
- if there exists a class such that the number 1 argument of the function is an instance of the class and the entity is an instance of the class and the other entity is an instance of the class and the entity is not equal to the other entity,
- then the function(the entity) is not equal to the function(the other entity)

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