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 e' uma sub-classe de Vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2020-2020	AmphibiousVehicle e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2489-2489	Barge e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2499-2499	Canoe e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2297-2297	DisplacementHullWaterVehicle e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2494-2494	FerryBoat e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2493-2493	FireBoat e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2436-2436	FishingShip e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Sports.kif 201-201	Kayak e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Sports.kif 204-204	Keelboat e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Military.kif 151-151	MilitaryWaterVehicle e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2294-2294	MultihullWaterVehicle e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2505-2505	PersonalWatercraft e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2461-2461	PlaningHullWaterVehicle e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2497-2497	Runabout e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2498-2498	Sailboat e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17658-17658	Submarine e' uma sub-classe de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2492-2492	TugBoat e' uma sub-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	O argumento numero 1 de ShipCrewFn e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1080-1080	O argumento numero 1 de flagState e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2676-2676	O argumento numero 1 de ladenDraft e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2534-2534	O argumento numero 1 de vesselDeadWeightTonnage e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2524-2524	O argumento numero 1 de vesselDisplacement e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2545-2545	O argumento numero 1 de vesselGrossRegisteredTonnage e' uma instancia de WaterVehicle

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4751-4755	Fisico e' uma instancia de Iceberg Objeto e' uma instancia de WaterVehicle maritimeHazard Fisico and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	Objeto e' uma instancia de WaterVehicle Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de Area Aquatica eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5959-5963	Fisico e' uma instancia de Reef Objeto e' uma instancia de WaterVehicle maritimeHazard Fisico and Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5929-5933	Fisico e' uma instancia de Shoal Objeto e' uma instancia de WaterVehicle maritimeHazard Fisico and Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	Objeto e' uma instancia de River trafficableForTrafficType Objeto and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de WaterVehicle Objeto e' uma instancia de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2637-2643	navigableForShippingTonnage Area Aquatica and Numero Real LongTon(s) WaterVehicle e' uma instancia de WaterVehicle vesselDisplacement WaterVehicle and Numero Real LongTon(s) Numero Real e' menor ou igual a Numero Real Area Aquatica e' capaz de fazer TripFn WaterVehicle no role path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2287-2292	Veiculo de Transporte e' uma sub-classe de WaterVehicle Processo e' uma instancia de TransportationFn Veiculo de Transporte eventLocated Processo and Objeto Objeto e' uma instancia de Area Aquatica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17752-17754	Objeto e' uma instancia de WaterVehicle Objeto e' capaz de fazer WaterTransportation no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3487-3496	Fisico e' uma instancia de WaterVehicle Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Agua Entidade e' uma instancia de Transporte Fisico encontra Entidade vale durante tempo de existencia de Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4242-4248	Objeto e' uma instancia de Anchor ObjetoTTACH e' uma instancia de Colar Objeto e' um instrumento para ObjetoTTACH Entidade e' um patient de ObjetoTTACH Entidade e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	Colecao e' uma instancia de Organizacao WaterTransportationIndustry e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4254-4259	Objeto e' uma instancia de BoatDeck Objeto Objeto e' uma instancia de WaterVehicle Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1505-1510	Objeto e' uma instancia de Mast Objeto Objeto e' uma instancia de WaterVehicle Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4350-4357	Fisico e' uma instancia de OutboardEngine Fisico tem por fim Entidade Entidade e' uma instancia de WaterVehicle Fisico encontra Entidade Fisico e' Outside em relacao a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5062-5073	Fisico e' uma instancia de BoatSeat Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de WaterVehicle Sitting e' um atributo de Entidade Entidade e' situado em Fisico Fisico e' situado em Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3385-3392	Processo e' uma instancia de WaterTransportationService Processo Objeto Processo e' uma instancia de WaterTransportation Objeto e' uma instancia de WaterVehicle Objeto e' um instrumento para Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17743-17750	Processo e' uma instancia de WaterTransportation Objeto Objeto Objeto e' uma instancia de WaterVehicle Objeto e' uma instancia de Area Aquatica Objeto e' um instrumento para Processo eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1246-1263	Processo e' uma instancia de WaterSkiing AutonomousAgent Objeto, Objeto, Objeto, Objeto, Processo and Processo Objeto e' uma instancia de WaterVehicle Objeto e' uma instancia de Area Aquatica Objeto e' uma instancia de WaterSki eventLocated Processo and Objeto AutonomousAgent e' uma instancia de Humano AutonomousAgent e' situado em Objeto Objeto conecta AutonomousAgent e Objeto Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Processo e' uma instancia de Movimento Processo e' um agente de AutonomousAgent Objeto e' um instrumento para Processo Processo causa Processo Processo e' um sub-processo de Processo

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: