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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CargoShip

 Sigma KEE - CargoShip
CargoShip

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30063-30066
No TPTP formula. May not be expressible in strict first order. pictureList.kif 323-323
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1690-1690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30062-30062 CargoShip est une sous-classe de Ship

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2316-2316 CargoShip s'appele nom "freighter"
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2325-2325 BargeCarrierShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2371-2371 ChemicalTankerShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2395-2395 CombinationBulkCarrierShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2332-2332 ContainerShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2418-2418 DryBulkCarrierShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2315-2315 GeneralCargoShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2382-2382 LiquefiedGasTankerShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2327-2327 LivestockCarrierShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2359-2359 MultifunctionalLargeLoadCarrierShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2483-2483 OceanLiner est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2433-2433 PassengerAndCargoShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2363-2363 PetroleumTankerShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2337-2337 RefrigeratedCargoShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2340-2340 RollOnRollOffCargoShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2427-2427 SpecializedTankerShip est une sous-classe de CargoShip
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13236-13236
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13235-13235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13234-13234

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


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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8184-8197
No TPTP formula. May not be expressible in strict first order. naics.kif 8139-8150


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