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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MemberFn

Sigma KEE - MemberFn
MemberFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1764-1765
No TPTP formula. May not be expressible in strict first order. Government.kif 1761-1761 The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1760-1760 Member is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 1762-1762 The range of member is an instance of position

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1687-1687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1686-1686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1685-1685
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37007-37007
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37006-37006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37005-37005

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1774-1779
No TPTP formula. May not be expressible in strict first order. Government.kif 1831-1835

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1767-1772
No TPTP formula. May not be expressible in strict first order. Government.kif 1789-1795
No TPTP formula. May not be expressible in strict first order. Government.kif 1827-1829


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