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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WetCornMilling
  Partnership

 Sigma KEE - Partnership
Partnership

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7212-7213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7211-7211 Partnership est une sous-classe de Business

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7264-7264 FamilyBusiness est une sous-classe de Partnership
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44592-44592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44591-44591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44590-44590

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


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


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