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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TaxiAndLimousineService

 Sigma KEE - TaxiAndLimousineService
TaxiAndLimousineService(出租車和豪華轎車服務)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8408-8410
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11960-11960
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11955-11955
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11954-11954
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11958-11958
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11959-11959
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11964-11964
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11965-11965
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11956-11956
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11961-11961
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11957-11957
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10284-10284
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11948-11948
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11963-11963
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11966-11966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11949-11949
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11950-11950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11967-11967
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11962-11962
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11951-11951
No TPTP formula. May not be expressible in strict first order. naics.kif 8406-8406 子屬性 出租車和豪華轎車服務 and 過境和地面客運

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8418-8418 子屬性 豪華轎車服務 and 出租車和豪華轎車服務
No TPTP formula. May not be expressible in strict first order. naics.kif 8412-8412 子屬性 出租車服務 and 出租車和豪華轎車服務
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57073-57073
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57072-57072
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57071-57071


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