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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScenicAndSightseeingTransportationWater

Sigma KEE - ScenicAndSightseeingTransportationWater
ScenicAndSightseeingTransportationWater(景區和觀光交通水)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8559-8561
No TPTP formula. May not be expressible in strict first order. naics.kif 8557-8557 子屬性 景區和觀光交通水 and 景區和觀光交通

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51515-51515
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51514-51514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51513-51513


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