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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AssignmentFn

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
No TPTP formula. May not be expressible in strict first order. Merge.kif 337-341

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3304-3313
No TPTP formula. May not be expressible in strict first order. Merge.kif 3346-3356
No TPTP formula. May not be expressible in strict first order. Merge.kif 3366-3376


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