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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DriftnetFishing

 Sigma KEE - DriftnetFishing
DriftnetFishing(driftnet fishing)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 9159-9159
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9162-9162
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9160-9160
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9161-9161
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9163-9163
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8456-8456
No TPTP formula. May not be expressible in strict first order. Geography.kif 2726-2726 Driftnet fishing is a subclass of fishing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20418-20418
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20417-20417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20416-20416


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