TreeView Knowledge Base Browser

appearance as argument number 1

(documentation RollingStock EnglishLanguage "A single rail car. Any RailVehicle that is not composed of other RailVehicles.")	Transportation.kif 2103-2104
(externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ CP_autorail-X301.jpg")	pictureList.kif 4940-4940
(externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Nagaragawa-Railway-Nagara1-5.JPG")	pictureList.kif 5076-5076
(partition RollingStock PassengerRailcar FreightCar)	Transportation.kif 2146-2146	O conceito RollingStock e' completamente decomposto em PassengerRailcar + FreightCar
(subclass RollingStock RailVehicle)	Transportation.kif 2101-2101	RollingStock e' uma sub-classe de RailVehicle

appearance as argument number 2

(disjoint RoadVehicle RollingStock)	Transportation.kif 2102-2102	RoadVehicle e' disjunto de RollingStock
(subclass CabCar RollingStock)	Transportation.kif 2156-2156	CabCar e' uma sub-classe de RollingStock
(subclass ElectrifiedRailwayCar RollingStock)	Transportation.kif 2171-2171	ElectrifiedRailwayCar e' uma sub-classe de RollingStock
(subclass FreightCar RollingStock)	Transportation.kif 2145-2145	FreightCar e' uma sub-classe de RollingStock
(subclass HeadEndCar RollingStock)	Transportation.kif 2191-2191	HeadEndCar e' uma sub-classe de RollingStock
(subclass Locomotive RollingStock)	Transportation.kif 2121-2121	Locomotive e' uma sub-classe de RollingStock
(subclass LocomotiveCoalCar RollingStock)	Transportation.kif 2200-2200	LocomotiveCoalCar e' uma sub-classe de RollingStock
(subclass MotorizedRailwayCar RollingStock)	Transportation.kif 2116-2116	MotorizedRailwayCar e' uma sub-classe de RollingStock
(subclass OutfitCar RollingStock)	Transportation.kif 2162-2162	OutfitCar e' uma sub-classe de RollingStock
(subclass PassengerRailcar RollingStock)	Transportation.kif 2128-2128	PassengerRailcar e' uma sub-classe de RollingStock
(subclass PrivateRailcar RollingStock)	Transportation.kif 2221-2221	PrivateRailcar e' uma sub-classe de RollingStock
(subclass Railcar RollingStock)	Transportation.kif 2080-2080	Railcar e' uma sub-classe de RollingStock
(subclass ScaleTestCar RollingStock)	Transportation.kif 2229-2229	ScaleTestCar e' uma sub-classe de RollingStock
(subclass Streetcar RollingStock)	Transportation.kif 2214-2214	Streetcar e' uma sub-classe de RollingStock
(termFormat ChineseLanguage RollingStock "波荡股")	domainEnglishFormat.kif 50302-50302
(termFormat ChineseTraditionalLanguage RollingStock "波蕩股")	domainEnglishFormat.kif 50301-50301
(termFormat EnglishLanguage RollingStock "rolling stock")	domainEnglishFormat.kif 50300-50300

antecedent

(=>
    (instance ?TRAIN RollingStock)
    (not
        (exists (?X)
            (and
                (part ?X ?TRAIN)
                (instance ?X RollingStock)
                (not
                    (equal ?X ?TRAIN))))))

Transportation.kif 2106-2114

Objeto e' uma instancia de RollingStock
Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de RollingStock Objeto e' igual a Objeto

consequent

(=> (instance ?SHIP RailcarCarrierShip) (cargoType ?SHIP RollingStock))	Transportation.kif 2361-2363	Veiculo de Transporte e' uma instancia de RailcarCarrierShip cargoType Veiculo de Transporte and RollingStock
(=> (instance ?TRAIN RollingStock) (not (exists (?X) (and (part ?X ?TRAIN) (instance ?X RollingStock) (not (equal ?X ?TRAIN))))))	Transportation.kif 2106-2114	Objeto e' uma instancia de RollingStock Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de RollingStock Objeto e' igual a Objeto
(=> (instance ?TRAIN Train) (exists (?X ?Y) (and (part ?X ?TRAIN) (part ?Y ?TRAIN) (instance ?X RollingStock) (instance ?Y RollingStock) (not (equal ?X ?Y)))))	Transportation.kif 2054-2063	Objeto e' uma instancia de Train Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de RollingStock Objeto e' uma instancia de RollingStock Objeto e' igual a Objeto

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

KB Term:			Term intersection

English Word: