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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - covers
covers

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15952-15955
No TPTP formula. May not be expressible in strict first order. Merge.kif 15949-15949 O argumento numero 1 de covers e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 15950-15950 O argumento numero 2 de covers e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 15946-15946 covers e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 15948-15948 covers e' uma instancia de Relacao Espacial
No TPTP formula. May not be expressible in strict first order. Merge.kif 15947-15947 covers e' uma instancia de Relacao Transitiva

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15951-15951
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65803-65803

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15957-15961

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30202-30212 Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 15963-15970
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30184-30197
No TPTP formula. May not be expressible in strict first order. Geography.kif 4742-4749
No TPTP formula. May not be expressible in strict first order. Merge.kif 15986-15993
No TPTP formula. May not be expressible in strict first order. Geography.kif 5920-5927
No TPTP formula. May not be expressible in strict first order. Cars.kif 4772-4781
No TPTP formula. May not be expressible in strict first order. Cars.kif 4438-4448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4766-4770


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