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 756-759
No TPTP formula. May not be expressible in strict first order. Merge.kif 752-752 The number 1 argument of assignment is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 753-753 The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 750-750 Assignment is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 751-751 Assignment is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 754-754 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 352-352
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8771-8771
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 8770-8770
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8769-8769

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 311-315
No TPTP formula. May not be expressible in strict first order. Merge.kif 338-342

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3267
No TPTP formula. May not be expressible in strict first order. Merge.kif 3300-3310
No TPTP formula. May not be expressible in strict first order. Merge.kif 3320-3329


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