TreeView Knowledge Base Browser - AssignmentFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AssignmentFn

AssignmentFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1545-1547
No TPTP formula. May not be expressible in strict first order.	Merge.kif 773-776
No TPTP formula. May not be expressible in strict first order.	Merge.kif 769-769	The number 1 argument of assignment is an instance of function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 770-770	The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 767-767	Assignment is an instance of function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 768-768	Assignment is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 771-771	The range of assignment is an instance of entity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 346-346
No TPTP formula. May not be expressible in strict first order.	english_format.kif 349-349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8769-8769
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 347-347
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8768-8768
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8767-8767

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 310-314	If the range of a function is an instance of a class and the function(@ROW) is equal to another entity, then the other entity is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 337-341	If the values returned by a function are subclasses of a kind of class and the function(@ROW) is equal to another class, then the other class is a subclass of a kind of class

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3304-3313	If a function is an instance of one to one function, then for all an entity and another entity if the number 1 argument of the function is an instance of a 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)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3346-3356	If a function is an instance of associative function, then for all an entity, another entity and a third entity if the number 1 argument of the function is an instance of a class and the entity is an instance of the class and the other entity is an instance of the class and the third entity is an instance of the class, then the function(the entity and the function(the other entity and the third entity)) is equal to the function(the function(the entity and the other entity) and the third entity)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3366-3376	If a function is an instance of commutative function, then for all an entity, another entity and a class if 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, then the function(the entity and the other entity) is equal to the function(the other entity and the entity)

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