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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntiSymmetricPositionalAttribute

Sigma KEE - AntiSymmetricPositionalAttribute
AntiSymmetricPositionalAttribute

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3814-3816
No TPTP formula. May not be expressible in strict first order. Merge.kif 16793-16795
No TPTP formula. May not be expressible in strict first order. Merge.kif 16792-16792 AntiSymmetricPositionalAttribute is a subclass of positional attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16804-16804 Above is an instance of AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16817-16817 Below is an instance of AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16842-16842 Left is an instance of AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16873-16873 On is an instance of AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16849-16849 Right is an instance of AntiSymmetricPositionalAttribute

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14707-14707 The number 1 argument of BodySideFn is an instance of AntiSymmetricPositionalAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16797-16801


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