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 784-787
No TPTP formula. May not be expressible in strict first order. Merge.kif 780-780 The number 1 argument of assignment is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 781-781 The number 2 argument of assignment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 778-778 Assignment is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 779-779 Assignment is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 782-782 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 8768-8768
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 8767-8767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8766-8766

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 313-317
No TPTP formula. May not be expressible in strict first order. Merge.kif 340-344

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3334-3344
No TPTP formula. May not be expressible in strict first order. Merge.kif 3377-3387
No TPTP formula. May not be expressible in strict first order. Merge.kif 3397-3407


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