TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3625-3627
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15975-15982
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6957-6957
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8214-8214
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 589-589
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15974-15974	Vehicle e' uma sub-classe de Veiculo de Transporte

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1811-1811	AgentPoweredVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17817-17817	Aircraft e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1596-1596	ArmoredVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1760-1760	CargoVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30092-30092	DamagedVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3465-3465	LandVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Military.kif 131-131	MilitaryVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1742-1742	PassengerVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1793-1793	PoweredVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25763-25763	RecreationalVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17711-17711	Spacecraft e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1783-1783	UnpoweredVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3483-3483	WaterVehicle e' uma sub-classe de Vehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61346-61346
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61345-61345
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61344-61344
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1211-1211	typicalPart Alternator and Vehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1212-1212	typicallyContainsPart Alternator and Vehicle

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1583-1583	O argumento numero 1 de TripFn e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 81-81	O argumento numero 1 de maximumPayloadCapacity e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 109-109	O argumento numero 1 de maximumPayloadHeightWidth e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17402-17402	O argumento numero 2 de onboard e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1710-1710	O argumento numero 1 de topSpeed e' uma instancia de Vehicle

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	Objeto e' uma instancia de VehicleBrake Objeto e' uma instancia de Vehicle Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de StopFn Movimento Objeto e' um patient de Entidade Objeto e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	Objeto e' uma instancia de BrakePedal Processo e' uma instancia de Pushing Objeto e' uma instancia de Vehicle Processo termina em Objeto eventLocated Processo and Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de WearingFrictionSurface Entidade e' uma instancia de Friction Entidade e' um instrumento para Entidade Processo causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23591-23598	Processo e' uma instancia de Dirigir Transporte e' um sub-processo de Processo Transporte e' uma instancia de Transporte Veiculo de Transporte e' uma instancia de Vehicle Veiculo de Transporte e' um patient de Processo conveyance Transporte and Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2957-2973	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Vehicle Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed SpeedGovernor and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade Entidade e' uma instancia de Translocation a medida de Componente de Engenharia e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	Objeto e' uma instancia de ParkingBrake Objeto e' uma instancia de Vehicle DeviceOn e' um atributo de Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Translocation Objeto e' um patient de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15992-15998	Objeto e' uma instancia de Vehicle Processo e' uma instancia de Translocation Objeto e' um instrumento para Processo Processo termina em Entidade Objeto e' situado em Entidade vale durante o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15984-15990	Objeto e' uma instancia de Vehicle Processo e' uma instancia de Translocation Objeto e' um instrumento para Processo Processo tem como origem Objeto Objeto e' situado em Objeto vale durante o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 61-66	Objeto e' uma instancia de Arma Objeto e' uma &parte de Objeto Objeto e' uma instancia de Vehicle Objeto e' uma instancia de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30772-30783	passenger Transferencia and AutonomousAgent Objeto e' uma instancia de Vehicle Objeto e' um instrumento para Transferencia Processo tempo de existencia de Processo acontece durante tempo de existencia de Transferencia Processo e' uma instancia de Guiar Processo e' um agente de AutonomousAgent Objeto e' um instrumento para Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30094-30098	Objeto e' uma instancia de DamagedVehicle Objeto e' uma instancia de Vehicle DeviceDamaged e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17380-17384	Processo e' uma instancia de Boarding Entidade e' um patient de Processo Entidade e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17421-17425	Processo e' uma instancia de Deboarding Entidade e' um patient de Processo Entidade e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	AutonomousAgent e' uma instancia de CavalryUnit Intervalo Temporal e' uma instancia de Batalha Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent Entidade and Intervalo Temporal Soldier e' um atributo de AutonomousAgent AutonomousAgent e' membro de AutonomousAgent Intervalo Temporal e' uma instancia de Transporte Intervalo Temporal e' um agente de AutonomousAgent Entidade e' uma instancia de Vehicle Entidade e' um patient de Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 373-379	Entidade e' uma instancia de Objeto Objeto e' uma instancia de WebListing ForSaleByOwner e' um atributo de Objeto Entidade e' um patient de Objeto Entidade e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	Colecao e' uma instancia de Organizacao ScenicAndSightseeingTransportation 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 Entidade e' uma instancia de Transporte Entidade e' uma instancia de Recreacao ou Exercicio Agente Cognitivo e' um patient de Entidade Colecao possui Entidade Entidade e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1852-1864	Objeto e' uma instancia de Wagon Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo AutonomousAgent Processo e' uma instancia de Pulling Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' uma instancia de DomesticAnimal AutonomousAgent e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-141	Valet e' um atributo de Objeto Objeto tem por fim Entidade e' uma instancia de Vehicle Entidade e' uma instancia de Colocar Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion Entidade e' um patient de Entidade Entidade e' um agente de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22334-22346	Fisico e' uma instancia de Convoy Entidade Entidade and Posicao Temporal Entidade e' igual a Entidade Entidade e' uma instancia de Vehicle Entidade e' uma instancia de Vehicle Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de tempo de existencia de Fisico Entidade e' membro de Fisico Entidade e' membro de Fisico vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3389-3394	Objeto e' uma instancia de VehicleController Objeto Objeto e' uma instancia de Vehicle Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11619-11624	Processo e' uma instancia de Dirigir Entidade Entidade e' uma instancia de Vehicle Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3516-3518	Colecao e' uma instancia de Fleet memberType Colecao and Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21890-21895	Processo e' uma instancia de Hijacking Entidade Entidade e' uma instancia de Vehicle Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3078-3083	Objeto e' uma instancia de Headlight Objeto auto-conectado Objeto auto-conectado e' uma instancia de Vehicle Objeto e' uma &parte de afrente de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3089-3094	Objeto e' uma instancia de Taillight Objeto auto-conectado Objeto auto-conectado e' uma instancia de Vehicle Objeto e' uma &parte de atras de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3067-3072	Objeto e' uma instancia de VehicleLight Objeto Objeto e' uma instancia de Vehicle Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5029-5040	Fisico e' uma instancia de VehicleSeat Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Vehicle 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 2347-2349	Veiculo de Transporte e' uma instancia de VehicleCarrierShip cargoType Veiculo de Transporte and Vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3340-3352	Processo e' uma instancia de TransportationService Objeto AutonomousAgent, Processo and Agente Cognitivo Processo e' um agente de AutonomousAgent AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Vehicle Processo e' uma instancia de Transporte Processo e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Processo Objeto e' um instrumento para Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3381-3387	Fisico e' uma instancia de VehicleSafetyDevice Fisico tem por fim Entidade Entidade e' uma instancia de Vehicle Fisico e' uma &parte de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3446-3451	Objeto e' uma instancia de VehicleWindow Objeto Objeto e' uma instancia de Vehicle Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15176-15184	Objeto e' uma instancia de Window Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo Objeto e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3675-3704	Fisico e' uma instancia de SeatBelt Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Vehicle Fisico e' uma &parte de Entidade Entidade e' uma instancia de Humano Entidade contem Entidade Entidade e' uma instancia de Processo Entidade proibe a ocurrencia de a classe descrita por Entidade

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: