TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1797-1797	Powered vehicle is disjoint from unpowered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1794-1796
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2321-2321
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1793-1793	Powered vehicle is a subclass of vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2081-2081	Railcar is disjoint from powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1822-1822	Trailer is disjoint from powered vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1649-1649	Amphibious Assault Vehicle is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1574-1574	APC is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2616-2616	Airplane is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2172-2172	Electrified railway car is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1893-1893	Emergency road vehicle is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1887-1887	Emergency vehicle is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1947-1947	LCAC is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2122-2122	Locomotive is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2210-2210	Motor railcar is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2117-2117	Motorized railway car is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1804-1804	Self powered road vehicle is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2048-2048	Train is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47026-47026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47025-47025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47024-47024

antecedent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 1798-1801

If an artifact is an instance of powered vehicle,
then there exists a device such that the artifact is a power component of the device

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 3740-3754

If a physical is an instance of remote ignition control,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of powered vehicle and the third entity is an instance of electronic signalling and the physical is an instrument for the third entity and the third entity ends up at the entity and the other entity is an instance of engine and the other entity is a component of the entity and the fourth entity is an instance of the operating of engine and the other entity experiences the fourth entity and the third entity causes the fourth entity

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: