Automobile - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Automobile,s__EnglishLanguage,'"Automobile is a subclass of SelfPoweredRoadVehicles including passenger cars, family vans, light trucks, and sport utility vehicles. In general, this class covers four-wheeled passenger road vehicles."')	Transportation.kif 1957-1960
s__externalImage(s__Automobile,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Talbothorizon.jpg"')	pictureList-ImageNet.kif 394-394
s__externalImage(s__Automobile,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Ferrari348.jpg"')	pictureList-ImageNet.kif 396-396
s__externalImage(s__Automobile,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ be/ Ferrari_599_GTB_Fiorano.jpg/ 800px-Ferrari_599_GTB_Fiorano.jpg"')	pictureList-ImageNet.kif 395-395
s__externalImage(s__Automobile,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d8/ Louwman_Collection_Entrance.jpg/ 250px-Louwman_Collection_Entrance.jpg"')	pictureList-ImageNet.kif 397-397
s__externalImage(s__Automobile,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ autos/ Black_n_White/ CAR-2.png"')	pictureList.kif 322-322
s__externalImage(s__Automobile,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ travel/ US_Road_Signs/ recreation/ rec_1/ automobile.png"')	pictureList.kif 247-247
s__instance(s__Automobile,s__SetOrClass) s__subclass(s__Automobile,s__PassengerVehicle) s__instance(s__PassengerVehicle,s__SetOrClass)	Transportation.kif 1956-1956	Automobile is a subclass of passenger vehicle
s__instance(s__Automobile,s__SetOrClass) s__subclass(s__Automobile,s__PhysicalSystem) s__instance(s__PhysicalSystem,s__SetOrClass)	Cars.kif 836-836	Automobile is a subclass of physical system
s__instance(s__Automobile,s__SetOrClass) s__subclass(s__Automobile,s__SelfPoweredRoadVehicle) s__instance(s__SelfPoweredRoadVehicle,s__SetOrClass)	Transportation.kif 1955-1955	Automobile is a subclass of self powered road vehicle

appearance as argument number 2

s__industryProductType(s__AutomobileManufacturing,s__Automobile)	Economy.kif 1709-1709	Automobile is an industry product type of automobile manufacturing
s__instance(s__Automobile,s__SetOrClass) s__subclass(s__ChevroletAutomobile,s__Automobile) s__instance(s__ChevroletAutomobile,s__SetOrClass)	Cars.kif 4989-4989	ChevroletAutomobile is a subclass of automobile
s__instance(s__Automobile,s__SetOrClass) s__subclass(s__CommodoreAutomobile,s__Automobile) s__instance(s__CommodoreAutomobile,s__SetOrClass)	Cars.kif 4528-4528	CommodoreAutomobile is a subclass of automobile
s__instance(s__Corvette,s__SetOrClass) s__instance(s__Automobile,s__SetOrClass) s__subclass(s__Corvette,s__Automobile)	Cars.kif 5141-5141	Corvette is a subclass of automobile
s__subclass(s__FordAutomobile,s__Automobile) s__instance(s__Automobile,s__SetOrClass) s__instance(s__FordAutomobile,s__SetOrClass)	Cars.kif 4932-4932	Ford car is a subclass of automobile
s__instance(s__Automobile,s__SetOrClass) s__subclass(s__HoldenToranaAutomobile,s__Automobile) s__instance(s__HoldenToranaAutomobile,s__SetOrClass)	Cars.kif 4886-4886	Holden Torana is a subclass of automobile
s__instance(s__MiniCooper,s__SetOrClass) s__instance(s__Automobile,s__SetOrClass) s__subclass(s__MiniCooper,s__Automobile)	Cars.kif 4874-4874	Mini cooper is a subclass of automobile
s__instance(s__Automobile,s__SetOrClass) s__instance(s__Taxicab,s__SetOrClass) s__subclass(s__Taxicab,s__Automobile)	Transportation.kif 1970-1970	Taxicab is a subclass of automobile
s__termFormat(s__ChineseLanguage,s__Automobile,'"汽车"')	domainEnglishFormat.kif 9207-9207
s__termFormat(s__ChineseTraditionalLanguage,s__Automobile,'"汽車"')	domainEnglishFormat.kif 9206-9206
s__termFormat(s__EnglishLanguage,s__Automobile,'"automobile"')	domainEnglishFormat.kif 9205-9205
s__typicalPart(s__AutoSuspensionSystem,s__Automobile)	Cars.kif 727-727	A auto suspension system is typically a part of a automobile
s__typicalPart(s__AutomobileShock,s__Automobile)	Cars.kif 868-868	A shock is typically a part of a automobile
s__typicalPart(s__BrakeSystem,s__Automobile)	Cars.kif 1251-1251	A brake system is typically a part of a automobile
s__typicalPart(s__IgnitionCoil,s__Automobile)	Cars.kif 3154-3154	A ignition coil is typically a part of a automobile
s__typicalPart(s__SteeringBox,s__Automobile)	Cars.kif 3983-3983	A steering box is typically a part of a automobile
s__typicalPart(s__SteeringColumn,s__Automobile)	Cars.kif 4000-4000	A steering column is typically a part of a automobile
s__typicalPart(s__SteeringWheel,s__Automobile)	Cars.kif 4005-4005	A steering wheel is typically a part of a automobile
s__typicalPart(s__TieRod,s__Automobile)	Cars.kif 4152-4152	A tie rod is typically a part of a automobile
s__typicalPart(s__VehicleDoor,s__Automobile)	Mid-level-ontology.kif 27368-27368	A VehicleDoor is typically a part of a automobile
s__typicallyContainsPart(s__AutoAirbag,s__Automobile)	Cars.kif 3647-3647	A automobile typically has a part airbag
s__typicallyContainsPart(s__AutoSuspensionSystem,s__Automobile)	Cars.kif 726-726	A automobile typically has a part auto suspension system
s__typicallyContainsPart(s__AutomobileShock,s__Automobile)	Cars.kif 869-869	A automobile typically has a part shock
s__typicallyContainsPart(s__BrakeSystem,s__Automobile)	Cars.kif 1250-1250	A automobile typically has a part brake system
s__typicallyContainsPart(s__IgnitionCoil,s__Automobile)	Cars.kif 3155-3155	A automobile typically has a part ignition coil

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2599-2617	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of Crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2581-2597	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
( ! [V__A2,V__S1,V__R1,V__R2,V__A1] : (((s__instance(V__R1,s__RealNumber) & s__instance(V__R2,s__RealNumber)) => (((s__instance(V__A1,s__Automobile) & s__instance(V__A2,s__Automobile) & s__instance(V__S1,s__AutomobileShock) & s__part(V__S1,V__A1) & ~(( ? [V__S2] : ((s__instance(V__S2,s__AutomobileShock) & s__part(V__S2,V__A2))))) & s__dampingRatio(V__A1,V__R1) & s__dampingRatio(V__A2,V__R2)) => (s__greaterThan(V__R2,V__R1))))) ) )	Cars.kif 853-866	If a physical system is an instance of automobile and another physical system is an instance of automobile and an object is an instance of shock and the object is a part of the physical system and there doesn't exist another object such that the other object is an instance of shock and the other object is a part of the other physical system and the damping ratio of the physical system is a real number and the damping ratio of the other physical system is another real number, then the other real number is greater than the real number
( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] : (((s__instance(V__C,s__Clutch) & s__instance(V__A,s__Automobile) & s__instance(V__E,s__Engine) & s__instance(V__G,s__Gearbox) & s__instance(V__GEAR,s__Gear) & s__part(V__GEAR,V__G) & s__part(V__G,V__A) & s__part(V__C,V__A) & s__part(V__E,V__A) & s__instance(V__M,s__Motion) & s__patient(V__M,V__E) & s__attribute(V__C,s__DeviceOff)) => (( ? [V__M2] : ((s__instance(V__M2,s__Motion) & s__patient(V__M2,V__G) & s__causes(V__M,V__M2)))))) ) )	Cars.kif 1852-1870	If an object is an instance of clutch and another object is an instance of automobile and a third object is an instance of engine and a fourth object is an instance of gearbox and the fourth objectEAR is an instance of gear and the fourth objectEAR is a part of the fourth object and the fourth object is a part of the other object and the object is a part of the other object and the third object is a part of the other object and a process is an instance of motion and the third object is a patient of the process and device off is an attribute of the object, then there exists the process2 such that the process2 is an instance of motion and the fourth object is a patient of the process2 and the process causes the process2
( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] : (((s__instance(V__C,s__Clutch) & s__instance(V__A,s__Automobile) & s__instance(V__E,s__Engine) & s__instance(V__G,s__Gearbox) & s__instance(V__GEAR,s__Gear) & s__part(V__GEAR,V__G) & s__part(V__G,V__A) & s__part(V__C,V__A) & s__part(V__E,V__A) & s__instance(V__M,s__Motion) & s__patient(V__M,V__E) & s__attribute(V__C,s__DeviceOn)) => (~(( ? [V__M2] : ((s__instance(V__M2,s__Motion) & s__patient(V__M2,V__G) & s__causes(V__M,V__M2))))))) ) )	Cars.kif 1831-1850	If an object is an instance of clutch and another object is an instance of automobile and a third object is an instance of engine and a fourth object is an instance of gearbox and the fourth objectEAR is an instance of gear and the fourth objectEAR is a part of the fourth object and the fourth object is a part of the other object and the object is a part of the other object and the third object is a part of the other object and a process is an instance of motion and the third object is a patient of the process and device on is an attribute of the object, then there doesn't exist the process2 such that the process2 is an instance of motion and the fourth object is a patient of the process2 and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2156-2168	If an object is an instance of engine cooling system and another object is an instance of engine and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object, then the object has the purpose there exists an entity such that the entity is an instance of cooling and the object is an instrument for the entity and the other object is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2744-2758	If an object is an instance of fan belt and another object is an instance of engine fan and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object and a process is an instance of motion and the object is a patient of the process, then the object has the purpose there exists the process2 such that the process2 is an instance of rotating and the process causes the process2 and the other object is a patient of the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a motion is an instance of transportation and a process is an instance of fuel and the process is a patient of the motion and the object is an instrument for the process and a third object is an instance of gas tank and the third object is a part of the other object and a fourth object is an instance of EngineCylinder and the fourth object is a part of the other object and the motion originates at the third object and the motion ends up at the fourth object and a fifth object is path along which the motion occurs, then the motion has the purpose there exists the processF such that the processF is an instance of fuel filter and the third object between on path the processF for the fourth object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a process is an instance of transportation and another process is an instance of fuel and the other process is a patient of the process and the object is an instrument for the other process, then the object has the purpose there exist an entity and another entity such that the entity is an instance of gas tank and the entity is a part of the other object and the other entity is an instance of EngineCylinder and the other entity is a part of the other object and the process originates at the entity and the process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4062-4077	If an object is an instance of tailpipe and the objectR is an instance of transfer and an entity is an instance of exhaust and another object is an instance of automobile and the other objectES is an instance of exhaust system and the object is a part of the other object and the object is path along which the objectR occurs and the entity is a patient of the objectR, then the object has the purpose there doesn't exist a third entity such that the third entity is a part of the other object and the object before the third entity on path the other objectES during the objectR
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1306-1321	If a process is an instance of transportation and an object is an instance of wheel and another object is an instance of automobile and the object is a part of the other object and the other object is an instrument for the process and the other objectB is an instance of antilock brake and another process is an instance of decelerating and the other objectB is an instrument for the other process and the other objectB is a part of the object, then the other objectB has the purpose there exists an entity such that the entity is an instance of rotating and the entity takes place during the other process
( ! [V__A] : ((s__instance(V__A,s__Automobile) => (s__equipmentCount(V__A,s__Axle,n__2))) ) )	Transportation.kif 1966-1968	If an object is an instance of automobile, then the object equipment count axle for 2
( ! [V__A] : ((s__instance(V__A,s__Automobile) => (s__equipmentCount(V__A,s__VehicleWheel,n__4))) ) )	Transportation.kif 1962-1964	If an object is an instance of automobile, then the object equipment count vehicle wheel for 4

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 9718-9727	If passenger car rental is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object is a customer of the third entity and the other entity is an instance of automobile and the entity is an instance of renting and the object possesses the other entity and the third entity is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 845-851	If a physical is an instance of shock, then the physical has the purpose there exists an entity such that the entity is an instance of automobile and the physical is a part of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2360-2394	If a physical is an instance of transmission, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity and a tenth entity such that the entity is an instance of Crankshaft and the other entity is an instance of driveshaft and the third entity is an instance of automobile and the other entity is a part of the third entity and the physical is a part of the third entity and the entity is a part of the third entity and the entity is connected to the physical and the other entity is connected to the physical and the fourth entity is an instance of rotating and the sixth entity is an instance of rotating and the seventh entity is an instance of rotating and the eighth entity is an instance of rotating and the entity is a patient of the fourth entity and the entity is a patient of the sixth entity and the other entity is a patient of the seventh entity and the other entity is a patient of the eighth entity and the fourth entity causes the seventh entity and the sixth entity causes the eighth entity and the fourth entity is not equal to the sixth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the fourth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the sixth entity and the measure of the other entity is the rotation of the ninth entity during minute duration holds during the seventh entity and the measure of the other entity is the rotation of the tenth entity during minute duration holds during the eighth entity and the ninth entity is not equal to the tenth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2339-2351	If a physical is an instance of driveshaft, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of automobile and the third entity is an instance of wheel and the physical is a part of the fourth entity and the third entity is a part of the fourth entity and the entity is an instance of rotating and the physical is a patient of the entity and the third entity is a patient of the other entity and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2533-2546	If a physical is an instance of engine control module, 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 automobile and the other entity is an instance of engine and the third entity is an instance of process and the fourth entity is an instance of process and the other entity is a part of the entity and the physical is a part of the entity and the third entity is located at 2 and the fourth entity is located at 2 and the third entity causes the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2766-2777	If a physical is an instance of engine fan, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of automobile and the entity is an instance of cooling and the other entity is an instance of internal combustion engine and the other entity is a part of the third entity and the physical is a part of the third entity and the physical is an instrument for the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2643-2659	If a physical is an instance of exhaust manifold, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of automobile and the other entity is an instance of exhaust and the third entity is an instance of EngineCylinder and the fourth entity is an instance of muffler and the fifth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the fourth entity is a part of the entity and the fifth entity originates at the third entity and the fifth entity ends up at the fourth entity and the other entity is a patient of the fifth entity and the other entity is an instrument for the fifth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3300-3309	If a physical is an instance of manifold absolute pressure sensor, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of engine control module and the other entity is an instance of automobile and the physical is a part of the other entity and the entity is a part of the other entity and the physical is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2725-2742	If a physical is an instance of fan belt, 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 pulley and the other entity is an instance of pulley and the entity is not equal to the other entity and the third entity is an instance of Crankshaft and the fourth entity is an instance of automobile and the entity is a part of the fourth entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the physical is a part of the fourth entity and the third entity is connected to the entity and the entity is connected to the physical and the physical is connected to the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2554-2569	If a physical is an instance of gas pedal, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of pushing and the other entity is an instance of transfer and the third entity is an instance of fuel and the fourth entity is an instance of engine and the fifth entity is an instance of automobile and the physical is a part of the fifth entity and the fourth entity is a part of the fifth entity and the entity ends up at the physical and the other entity ends up at the fourth entity and the third entity is a patient of the other entity and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3196-3207	If a physical is an instance of ignition control module, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of automobile and the entity is an instance of spark and the third entity is an instance of computer process and the physical is a part of the other entity and the third entity is located at 2 and the entity is located at 2 and the third entity causes the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2704-2717	If a physical is an instance of intake valve, 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 automobile and the other entity is an instance of fuel vapor and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the other entity is a patient of the fourth entity and the physical is path along which the fourth entity occurs and the fourth entity ends up at the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4717-4728	If a physical is an instance of vehicle interior, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of automobile and the other entity is an instance of engine and the other entity is a part of the entity and the physical is not a part of the other entity and the physical is a part of the entity and the physical is inside to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3834-3850	If a physical is an instance of positive crankcase ventilation valve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of Crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5069-5080	If a physical is an instance of auto seat, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of automobile and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
( ! [V__SVC] : ((s__instance(V__SVC,s__ShuttleService) => (( ? [V__LIST, V__VEHICLE, V__AGENT] : ((s__instance(V__AGENT,s__Agent) & (s__agent(V__SVC,V__AGENT) & s__possesses(V__AGENT,V__VEHICLE) & s__instance(V__VEHICLE,s__Automobile) & s__instance(V__LIST,s__List) & ( ! [V__X] : ((s__inList(V__X,V__LIST) => ((s__instance(V__X,s__PostalPlace) & ( ? [V__TRANSPORT] : ((s__instance(V__TRANSPORT,s__Transportation) & s__agent(V__TRANSPORT,V__AGENT) & s__instrument(V__TRANSPORT,V__VEHICLE) & s__destination(V__TRANSPORT,V__X))))))))))))))) ) )	Hotel.kif 1997-2015	If a process is an instance of shuttle, then there exist a list, an object and an agent such that the agent is an agent of the process and the agent possesses the object and the object is an instance of automobile and the list is an instance of list and for all an entity if the entity is a member of the list, then the entity is an instance of PostalPlace and there exists another process such that the other process is an instance of transportation and the agent is an agent of the other process and the object is an instrument for the other process and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4692-4703	If a physical is an instance of cargo rack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and a third entity is a patient of the entity and the other entity is an instance of automobile and the physical is outside to the other entity and the third entity meets the physical and the physical is a part of the other entity and the other entity is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3649-3673	If a physical is an instance of airbag, 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 automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by a fifth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4010-4028	If a physical is an instance of SteeringColumnLock, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of steering column and the third entity is an instance of automobile and the entity is a component of the third entity and the physical is a part of the entity and the other entity is an instance of Protecting and the physical is an instrument for the other entity and locked is an attribute of the physical holds during a fourth entity decreases likelihood of there exists a fifth entity such that the fifth entity is an instance of stealing and the third entity is a patient of the fifth entity holds during the fourth entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: