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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinfishFishing

 Sigma KEE - FinfishFishing
FinfishFishing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 537-539
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9216-9216
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9215-9215
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9217-9217
No TPTP formula. May not be expressible in strict first order. naics.kif 535-535 FinfishFishing est un sous-attribut de FishingIndustry

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23858-23858
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23857-23857
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23856-23856


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