WaterVehicle - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WaterVehicle EnglishLanguage "WaterVehicle is the class of all TransportationDevices used to travel on or in water.")	Mid-level-ontology.kif 3477-3478
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ TCRT_Express_Boat_Minnehaha.jpg")	pictureList-ImageNet.kif 391-391
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Moscow,_boat_by_Lu_Bridge_(1).jpg")	pictureList-ImageNet.kif 383-383
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ FS_Mistral_02.jpg")	pictureList-ImageNet.kif 546-546
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Polizia_Lagunare_Boat.jpg")	pictureList-ImageNet.kif 386-386
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Police.boat.at.poole.arp.jpg")	pictureList-ImageNet.kif 389-389
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 18/ Prison_police_boat.jpg/ 800px-Prison_police_boat.jpg")	pictureList-ImageNet.kif 382-382
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1a/ Inflatable_boat_with_mercury_4hp_engine.JPG/ 800px-Inflatable_boat_with_mercury_4hp_engine.JPG")	pictureList-ImageNet.kif 390-390
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 68/ Milk_Carton_Boat_Race-Minneapolis-2005-07-24.jpg/ 800px-Milk_Carton_Boat_Race-Minneapolis-2005-07-24.jpg")	pictureList-ImageNet.kif 385-385
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 69/ Nolsoy_rowing_boat,_faroe_islands.jpg/ 397px-Nolsoy_rowing_boat,_faroe_islands.jpg")	pictureList-ImageNet.kif 381-381
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 69/ Oars_of_a_Faroese_rowing_boat.jpg/ 800px-Oars_of_a_Faroese_rowing_boat.jpg")	pictureList-ImageNet.kif 384-384
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 72/ Model_boat_-_science_museum_london_2.jpg/ 450px-Model_boat_-_science_museum_london_2.jpg")	pictureList-ImageNet.kif 388-388
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7b/ SK_Alfred_Krupp_Kiel2007.jpg/ 800px-SK_Alfred_Krupp_Kiel2007.jpg")	pictureList-ImageNet.kif 545-545
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7f/ Denmark-Odense_River-boat.jpg/ 800px-Denmark-Odense_River-boat.jpg")	pictureList-ImageNet.kif 392-392
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b8/ Lash_vessel.JPG/ 300px-Lash_vessel.JPG")	pictureList-ImageNet.kif 544-544
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c7/ Kochi_boat_20080215-02.jpg/ 800px-Kochi_boat_20080215-02.jpg")	pictureList-ImageNet.kif 393-393
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c9/ Fishing_boat_in_Altafjorden.JPG/ 450px-Fishing_boat_in_Altafjorden.JPG")	pictureList-ImageNet.kif 387-387
(subclass WaterVehicle Vehicle)	Mid-level-ontology.kif 3476-3476	WaterVehicle は Vehicle の subclass では %n

appearance as argument number 2

(subclass AmphibiousVehicle WaterVehicle)	MilitaryDevices.kif 2020-2020	AmphibiousVehicle は WaterVehicle の subclass では %n
(subclass Barge WaterVehicle)	Transportation.kif 2680-2680	Barge は WaterVehicle の subclass では %n
(subclass Canoe WaterVehicle)	Transportation.kif 2690-2690	Canoe は WaterVehicle の subclass では %n
(subclass DisplacementHullWaterVehicle WaterVehicle)	Transportation.kif 2472-2472	DisplacementHullWaterVehicle は WaterVehicle の subclass では %n
(subclass FerryBoat WaterVehicle)	Transportation.kif 2685-2685	FerryBoat は WaterVehicle の subclass では %n
(subclass FireBoat WaterVehicle)	Transportation.kif 2684-2684	FireBoat は WaterVehicle の subclass では %n
(subclass FishingShip WaterVehicle)	Transportation.kif 2611-2611	FishingShip は WaterVehicle の subclass では %n
(subclass Kayak WaterVehicle)	Sports.kif 201-201	Kayak は WaterVehicle の subclass では %n
(subclass Keelboat WaterVehicle)	Sports.kif 204-204	Keelboat は WaterVehicle の subclass では %n
(subclass MilitaryWaterVehicle WaterVehicle)	Military.kif 151-151	MilitaryWaterVehicle は WaterVehicle の subclass では %n
(subclass MultihullWaterVehicle WaterVehicle)	Transportation.kif 2469-2469	MultihullWaterVehicle は WaterVehicle の subclass では %n
(subclass PersonalWatercraft WaterVehicle)	Transportation.kif 2696-2696	PersonalWatercraft は WaterVehicle の subclass では %n
(subclass PlaningHullWaterVehicle WaterVehicle)	Transportation.kif 2652-2652	PlaningHullWaterVehicle は WaterVehicle の subclass では %n
(subclass Runabout WaterVehicle)	Transportation.kif 2688-2688	Runabout は WaterVehicle の subclass では %n
(subclass Sailboat WaterVehicle)	Transportation.kif 2689-2689	Sailboat は WaterVehicle の subclass では %n
(subclass Submarine WaterVehicle)	Mid-level-ontology.kif 17948-17948	Submarine は WaterVehicle の subclass では %n
(subclass TugBoat WaterVehicle)	Transportation.kif 2683-2683	TugBoat は WaterVehicle の subclass では %n
(termFormat ChineseLanguage WaterVehicle "水车")	domainEnglishFormat.kif 62530-62530	TugBoat は WaterVehicle の subclass では %n
(termFormat ChineseTraditionalLanguage WaterVehicle "水車")	domainEnglishFormat.kif 62529-62529	TugBoat は WaterVehicle の subclass では %n
(termFormat EnglishLanguage WaterVehicle "water vehicle")	domainEnglishFormat.kif 62528-62528	TugBoat は WaterVehicle の subclass では %n

appearance as argument number 3

(domain ShipCrewFn 1 WaterVehicle)	Transportation.kif 4175-4175	ShipCrewFn の数値 1 引数は WaterVehicle の instance では %n
(domain flagState 1 WaterVehicle)	Transportation.kif 1080-1080	flagState の数値 1 引数は WaterVehicle の instance では %n
(domain ladenDraft 1 WaterVehicle)	Transportation.kif 3204-3204	ladenDraft の数値 1 引数は WaterVehicle の instance では %n
(domain vesselDeadWeightTonnage 1 WaterVehicle)	Transportation.kif 2725-2725	vesselDeadWeightTonnage の数値 1 引数は WaterVehicle の instance では %n
(domain vesselDisplacement 1 WaterVehicle)	Transportation.kif 2715-2715	vesselDisplacement の数値 1 引数は WaterVehicle の instance では %n
(domain vesselGrossRegisteredTonnage 1 WaterVehicle)	Transportation.kif 2748-2748	vesselGrossRegisteredTonnage の数値 1 引数は WaterVehicle の instance では %n

antecedent

(=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP))	Geography.kif 4727-4731	物理は Iceberg の instance では %n オブジェクトは WaterVehicle の instance では %n maritimeHazard 物理 and オブジェクト
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 3491-3499	オブジェクトは WaterVehicle の instance では %n 工程は交通手段の instance では %n オブジェクトは工程の instrument では %n オブジェクトオブジェクトは水域の instance では %n eventLocated 工程 and オブジェクト
(=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B))	Geography.kif 5935-5939	物理は Reef の instance では %n オブジェクトは WaterVehicle の instance では %n maritimeHazard 物理 and オブジェクト
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 RoadVehicle) (instance ?V2 Aircraft)))	Transportation.kif 3596-3610	TransitSystem は MultiModalTransitSystem の instance では %n routeInSystem Transitway and TransitSystem motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは WaterVehicle の instance では %n オブジェクトは motion の instrument では %n motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは motion の instrument では %n オブジェクトは RailVehicle の instance では %n オブジェクトは RoadVehicle の instance では %n オブジェクトは Aircraft の instance では %n
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B))	Geography.kif 5905-5909	物理は Shoal の instance では %n オブジェクトは WaterVehicle の instance では %n maritimeHazard 物理 and オブジェクト
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 WaterVehicle))	Transportation.kif 3533-3544	TransitSystem は UniModalTransitSystem の instance では %n routeInSystem Transitway and TransitSystem motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは WaterVehicle の instance では %n オブジェクトは motion の instrument では %n motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは motion の instrument では %n オブジェクトは WaterVehicle の instance では %n
(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1823-1828	オブジェクトは River の instance では %n trafficableForTrafficType オブジェクト and 自己接続オブジェクト自己接続オブジェクトは WaterVehicle の subclass では %n オブジェクトは Waterway の instance では %n
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY))	Transportation.kif 3165-3171	navigableForShippingTonnage 水域 and 実数の LongTon(s) WaterVehicle は WaterVehicle の instance では %n vesselDisplacement WaterVehicle and 実数の LongTon(s) 実数は実数より less または同等では %n 水域は TripFn WaterVehicle を path として行う capable では %n
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea))	Transportation.kif 2462-2467	輸送機は WaterVehicle の subclass では %n 工程は TransportationFn 輸送機の instance では %n eventLocated 工程 and オブジェクトオブジェクトは水域の instance では %n
(=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT Waterway) (instance ?C Collection) (memberType ?C WaterVehicle) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2))	Transportation.kif 3927-3939	transitwayThroughputCapacity Transitway, 時間間隔 and 非負整数 Transitway は Waterway の instance では %n コレクションはコレクションの instance では %n memberType コレクション and WaterVehicle memberCount コレクション and 非負整数2 オブジェクトはコレクションの member では %n motion は交通手段の instance では %n オブジェクトは motion の instrument では %n motion の time の existence は時間間隔の during に takes %n{ない} Transitway は motion が発生する path では %n 非負整数は非負整数2 greater では　%n
(=> (instance ?CRAFT WaterVehicle) (capability WaterTransportation instrument ?CRAFT))	Mid-level-ontology.kif 18042-18044	オブジェクトは WaterVehicle の instance では %n オブジェクトは WaterTransportation を instrument として行う capable では %n
(=> (instance ?X WaterVehicle) (hasPurpose ?X (exists (?EV ?SURF) (and (instance ?SURF Water) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?SURF))))))	Mid-level-ontology.kif 3480-3489	物理は WaterVehicle の instance では %n 物理はエンティティーエンティティーエンティティーは水の instance では %n エンティティーは交通手段の instance では %n 物理はエンティティーと meets %n{ない} はエンティティーの time の existence の during holds %n{ない} の目的 %n{ない}

consequent

(=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle))	Mid-level-ontology.kif 4235-4241	オブジェクトは Anchor の instance では %n オブジェクトTTACH は取付けの instance では %n オブジェクトはオブジェクトTTACH の instrument では %n エンティティーはオブジェクトTTACH の patient では %n エンティティーは WaterVehicle の instance では %n
(=> (and (instance ?ORG Organization) (attribute ?ORG WaterTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (or (patient ?T ?P) (and (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?V) (instance ?V WaterVehicle))) ?MEM ?P))))))	naics.kif 8080-8105	コレクションは組織の instance では %n WaterTransportationIndustry はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n 認識エージェント AutonomousAgent は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは AutonomousAgent の patient では %n 工程は認識エージェントがエンティティーエンティティー and エンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーの patient では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーはオブジェクトの instance では %n コレクションはエンティティーを possesses %n{ない} エンティティーは WaterVehicle の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 Aircraft) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 RoadVehicle)))	Transportation.kif 3612-3626	TransitSystem は MultiModalTransitSystem の instance では %n routeInSystem Transitway and TransitSystem motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは Aircraft の instance では %n オブジェクトは motion の instrument では %n motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは motion の instrument では %n オブジェクトは RailVehicle の instance では %n オブジェクトは WaterVehicle の instance では %n オブジェクトは RoadVehicle の instance では %n
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RailVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RoadVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft)))	Transportation.kif 3580-3594	TransitSystem は MultiModalTransitSystem の instance では %n routeInSystem Transitway and TransitSystem motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは RailVehicle の instance では %n オブジェクトは motion の instrument では %n motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは motion の instrument では %n オブジェクトは RoadVehicle の instance では %n オブジェクトは WaterVehicle の instance では %n オブジェクトは Aircraft の instance では %n
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft)))	Transportation.kif 3564-3578	TransitSystem は MultiModalTransitSystem の instance では %n routeInSystem Transitway and TransitSystem motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは RoadVehicle の instance では %n オブジェクトは motion の instrument では %n motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは motion の instrument では %n オブジェクトは RailVehicle の instance では %n オブジェクトは WaterVehicle の instance では %n オブジェクトは Aircraft の instance では %n
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 WaterVehicle))	Transportation.kif 3533-3544	TransitSystem は UniModalTransitSystem の instance では %n routeInSystem Transitway and TransitSystem motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは WaterVehicle の instance では %n オブジェクトは motion の instrument では %n motion は交通手段の instance では %n Transitway は motion が発生する path では %n オブジェクトは motion の instrument では %n オブジェクトは WaterVehicle の instance では %n
(=> (instance ?D BoatDeck) (exists (?B) (and (instance ?B WaterVehicle) (part ?D ?B))))	Mid-level-ontology.kif 4247-4252	オブジェクトは BoatDeck の instance では %n オブジェクトオブジェクトは WaterVehicle の instance では %n オブジェクトはオブジェクトの part では %n
(=> (instance ?M Mast) (exists (?W) (and (instance ?W WaterVehicle) (part ?M ?W))))	Mid-level-ontology.kif 1498-1503	オブジェクトは Mast の instance では %n オブジェクトオブジェクトは WaterVehicle の instance では %n オブジェクトはオブジェクトの part では %n
(=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside)))))	Cars.kif 4410-4417	物理は OutboardEngine の instance では %n 物理はエンティティーエンティティーは WaterVehicle の instance では %n 物理はエンティティーと meets %n{ない} 物理は Outside 対エンティティーでは %n の目的 %n{ない}
(=> (instance ?S BoatSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V WaterVehicle) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V)))))))	Cars.kif 5122-5133	物理は BoatSeat の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは人［人間］の instance では %n エンティティーは WaterVehicle の instance では %n Sitting はエンティティーの attribute では %n エンティティーは物理に located して %n 物理はエンティティーに located して %n はエンティティーの during holds %n{ない} の目的 %n{ない}
(=> (instance ?SERVICE WaterTransportationService) (exists (?WATER ?VEHICLE) (and (instance ?WATER WaterTransportation) (instance ?VEHICLE WaterVehicle) (instrument ?WATER ?VEHICLE) (subProcess ?WATER ?SERVICE))))	Transportation.kif 4285-4292	工程は WaterTransportationService の instance では %n 工程オブジェクト工程は WaterTransportation の instance では %n オブジェクトは WaterVehicle の instance では %n オブジェクトは工程の instrument では %n 工程は工程% の subprocess では %n
(=> (instance ?TRANSPORT WaterTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT WaterVehicle) (instance ?AREA WaterArea) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?AREA))))	Mid-level-ontology.kif 18033-18040	工程は WaterTransportation の instance では %n オブジェクトオブジェクトオブジェクトは WaterVehicle の instance では %n オブジェクトは水域の instance では %n オブジェクトは工程の instrument では %n eventLocated 工程 and オブジェクト
(=> (instance ?X WaterSkiing) (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION) (and (instance ?BOAT WaterVehicle) (instance ?WATER WaterArea) (instance ?SKI WaterSki) (eventLocated ?X ?WATER) (instance ?HUMAN Human) (located ?HUMAN ?SKI) (connects ?LINE ?HUMAN ?BOAT) (instance ?TRANS Transportation) (instrument ?TRANS ?BOAT) (instance ?MOTION Motion) (agent ?MOTION ?HUMAN) (instrument ?MOTION ?SKI) (causes ?TRANS ?MOTION) (subProcess ?MOTION ?X))))	Sports.kif 1247-1264	工程は WaterSkiing の instance では %n AutonomousAgent オブジェクト, オブジェクト, オブジェクト, オブジェクト, 工程 and 工程オブジェクトは WaterVehicle の instance では %n オブジェクトは水域の instance では %n オブジェクトは WaterSki の instance では %n eventLocated 工程 and オブジェクト AutonomousAgent は人［人間］の instance では %n AutonomousAgent はオブジェクトに located して %n オブジェクトは AutonomousAgent とオブジェクトに connects %n{ない} 工程は交通手段の instance では %n オブジェクトは工程の instrument では %n 工程は motion の instance では %n AutonomousAgent は工程の agent では %n オブジェクトは工程の instrument では %n 工程は工程を causes %n{ない} 工程は工程% の subprocess では %n

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: