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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6116-6120
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 6112-6112 Le nombre 1 argument de abstractCounterpart est une instance de abstrait
No TPTP formula. May not be expressible in strict first order. Merge.kif 6113-6113 Le nombre 2 argument de abstractCounterpart est une instance de physique
No TPTP formula. May not be expressible in strict first order. Merge.kif 6111-6111 abstractCounterpart est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 6114-6114 abstractCounterpart est une sous-relation de 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 65767-65767

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2915-2921
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2851-2864
No TPTP formula. May not be expressible in strict first order. Merge.kif 6166-6177
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2891-2901
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2903-2913

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2851-2864
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2891-2901
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2903-2913
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2844-2849
No TPTP formula. May not be expressible in strict first order. Merge.kif 6158-6164
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2884-2889


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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