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

Formal Language: 



KB Term:  Term intersection
English Word: 

  covers

 Sigma KEE - covers
covers

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29747-29750
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29744-29744 Le nombre 1 argument de covers est une instance de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29745-29745 Le nombre 2 argument de covers est une instance de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29741-29741 covers est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29743-29743 covers est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29742-29742 covers est une instance de relation transitive

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29746-29746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65801-65801

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29752-29756

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30178-30188 Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29758-29765
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30160-30173
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 15914-15921
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 4787-4796
No TPTP formula. May not be expressible in strict first order. Cars.kif 4453-4463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4771-4775


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