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

Formal Language: 



KB Term:  Term intersection
English Word: 

  House

Sigma KEE - Heart
Heart(heart)
heart, pump, ticker

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10892-10892
No TPTP formula. May not be expressible in strict first order. pictureList.kif 112-112
No TPTP formula. May not be expressible in strict first order. pictureList.kif 496-496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10893-10893 InvoluntaryMuscle is made of heart
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10891-10891 Heart is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10890-10890 Heart is a subclass of vital organ

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27765-27765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27764-27764
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27763-27763

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9953-9953 The number 1 argument of heartRate is an instance of heart

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10922-10939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10285-10297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10299-10308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10895-10902

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10663-10673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10802-10817
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10712-10727
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10680-10690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10278-10283
No TPTP formula. May not be expressible in strict first order. emotion.kif 1682-1687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9997-10002
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10956-10962


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