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 6054-6058
No TPTP formula. May not be expressible in strict first order. Merge.kif 6050-6050 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 6051-6051 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 6049-6049 abstract counterpart is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 6052-6052 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 66228-66228

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 6104-6115
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 6096-6102
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