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

Formal Language: 



KB Term:  Term intersection
English Word: 

  abstractCounterpart

Sigma KEE - abstractCounterpart
abstractCounterpart

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2382-2384
No TPTP formula. May not be expressible in strict first order. Merge.kif 6115-6119
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1061-1064
No TPTP formula. May not be expressible in strict first order. Merge.kif 6111-6111 The number 1 argument of abstract counterpart is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 6112-6112 The number 2 argument of abstract counterpart is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6110-6110 abstract counterpart is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 6113-6113 abstract counterpart is a subrelation of represents

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2654-2654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2653-2653
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2652-2652
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65765-65765

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2870-2876
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2806-2819
No TPTP formula. May not be expressible in strict first order. Merge.kif 6165-6176
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2846-2856
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2858-2868

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2806-2819
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2846-2856
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2858-2868
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2799-2804
No TPTP formula. May not be expressible in strict first order. Merge.kif 6157-6163
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2839-2844


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