TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3484-3485
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 391-391
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 383-383
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 546-546
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 386-386
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 389-389
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 382-382
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 390-390
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 385-385
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 381-381
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 384-384
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 388-388
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 545-545
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 392-392
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 544-544
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 393-393
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 387-387
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3483-3483	WaterVehicle est une sous-classe de Vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2020-2020	AmphibiousVehicle est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2489-2489	Barge est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2499-2499	Canoe est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2297-2297	DisplacementHullWaterVehicle est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2494-2494	FerryBoat est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2493-2493	FireBoat est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2436-2436	FishingShip est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Sports.kif 201-201	Kayak est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Sports.kif 204-204	Keelboat est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Military.kif 151-151	MilitaryWaterVehicle est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2294-2294	MultihullWaterVehicle est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2505-2505	PersonalWatercraft est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2461-2461	PlaningHullWaterVehicle est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2497-2497	Runabout est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2498-2498	Sailboat est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17658-17658	Submarine est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2492-2492	TugBoat est une sous-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62505-62505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62504-62504
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62503-62503

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3275-3275	Le nombre 1 argument de ShipCrewFn est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1080-1080	Le nombre 1 argument de flagState est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2676-2676	Le nombre 1 argument de ladenDraft est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2534-2534	Le nombre 1 argument de vesselDeadWeightTonnage est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2524-2524	Le nombre 1 argument de vesselDisplacement est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2545-2545	Le nombre 1 argument de vesselGrossRegisteredTonnage est une instance de WaterVehicle

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4751-4755	Physique est une instance de Iceberg objet est une instance de WaterVehicle maritimeHazard physique and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	Objet est une instance de WaterVehicle processus est une instance de transporter objet est un instrument pour processus objet objet est une instance de plan d'eau eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5959-5963	Physique est une instance de Reef objet est une instance de WaterVehicle maritimeHazard physique and objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5929-5933	Physique est une instance de Shoal objet est une instance de WaterVehicle maritimeHazard physique and objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	Objet est une instance de River trafficableForTrafficType objet and objet en une partie objet en une partie est une sous-classe de WaterVehicle objet est une instance de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2637-2643	navigableForShippingTonnage plan d'eau and nombre r�el LongTon(s) WaterVehicle est une instance de WaterVehicle vesselDisplacement WaterVehicle and nombre r�el LongTon(s) nombre r�el est plus petit ou �gal � nombre r�el plan d'eau est capable de faire TripFn WaterVehicle dans le r�le path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2287-2292	V�hicule de transport est une sous-classe de WaterVehicle processus est une instance de TransportationFn v�hicule de transport eventLocated processus and objet objet est une instance de plan d'eau
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17752-17754	Objet est une instance de WaterVehicle objet est capable de faire WaterTransportation dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3487-3496	Physique est une instance de WaterVehicle physique a pour but entit� entit� entit� est une instance de eau entit� est une instance de transporter physique rencontre entit� pendant temps d'existence de entit�

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4242-4248	Objet est une instance de Anchor objetTTACH est une instance de attacher objet est un instrument pour objetTTACH entit� est un patient de objetTTACH entit� est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	Collection est une instance de organisation WaterTransportationIndustry est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� and entit� entit� est une instance de transporter agent cognitif est un patient de entit� agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de entit� entit� est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4254-4259	Objet est une instance de BoatDeck objet objet est une instance de WaterVehicle objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1505-1510	Objet est une instance de Mast objet objet est une instance de WaterVehicle objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4350-4357	Physique est une instance de OutboardEngine physique a pour but entit� entit� est une instance de WaterVehicle physique rencontre entit� physique est Outside � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5062-5073	Physique est une instance de BoatSeat physique a pour but entit� entit� and entit� entit� est une instance de humain entit� est une instance de WaterVehicle Sitting est un attribut de entit� entit� est situ� � physique physique est situ� � entit� pendant entit�
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3385-3392	Processus est une instance de WaterTransportationService processus objet processus est une instance de WaterTransportation objet est une instance de WaterVehicle objet est un instrument pour processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17743-17750	Processus est une instance de WaterTransportation objet objet objet est une instance de WaterVehicle objet est une instance de plan d'eau objet est un instrument pour processus eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1246-1263	Processus est une instance de WaterSkiing AutonomousAgent objet, objet, objet, objet, processus and processus objet est une instance de WaterVehicle objet est une instance de plan d'eau objet est une instance de WaterSki eventLocated processus and objet AutonomousAgent est une instance de humain AutonomousAgent est situ� � objet objet relie AutonomousAgent et objet processus est une instance de transporter objet est un instrument pour processus processus est une instance de d�palcement processus est un agent de AutonomousAgent objet est un instrument pour processus processus cause processus processus est un sous-processus de processus

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: