TreeView Knowledge Base Browser - Outside

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Outside

Outside

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9106-9108
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9104-9104	Outside e' uma instancia de Atributo Posicional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9105-9105	Inside e' &o oposto de Outside
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43722-43722
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43721-43721
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43720-43720

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9118-9121	Objeto e' Outside em relacao a Objeto Objeto e' parcialmente localizado em Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	Objeto e' Outside em relacao a Regiao Objeto e' uma instancia de PerimeterAreaFn Regiao Objeto e' uma instancia de UniformPerimeterArea a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Regiao e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida ( Numero Real + Numero Real) e' maior que 0.0 Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	Objeto e' Outside em relacao a Regiao Objeto e' uma instancia de PerimeterAreaFn Regiao Objeto e' uma instancia de UniformPerimeterArea a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Regiao e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida ( Numero Real + Numero Real) e' menor ou igual a 0.0 Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	viewType Objeto and Fisico Objeto e' uma instancia de Comodo Objeto e' uma instancia de Fisico Objeto e' Outside em relacao a Objeto o argumento Entidade Entidade Entidade e' uma instancia de Humano Entidade e' situado em Objeto Entidade e' uma instancia de Visao Objeto e' um patient de Entidade Entidade e' um agente de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9110-9112	Objeto e' Outside em relacao a Objeto Objeto e' uma instancia de Regiao

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	Concave e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' igual a LineFn Objeto and Objeto Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' Outside em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	Transferencia e' uma instancia de Thoracentesis Objeto e' um patient de Transferencia Transferencia Objeto, TransferenciaN, Objeto, Objeto and Objeto Transferencia e' uma instancia de Inserting Transferencia e' um sub-processo de Transferencia objectTransferred Transferencia and Objeto Transferencia tem como origem Objeto Transferencia termina em TransferenciaN Objeto e' uma instancia de Needle Fluid e' um atributo de Objeto objectTransferred Transferencia and Objeto Objeto termina em Objeto Objeto e' uma instancia de Lung Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Transferencia tem como origem TransferenciaN Transferencia termina em Objeto TransferenciaN esta' entre Objeto e Objeto Objeto e' Outside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objeto e' uma instancia de VentedChestSeal Transferencia e' uma instancia de Colar objectTransferred Transferencia and Objeto Transferencia termina em Entidade Objeto tem por fim Transferencia Entidade, Entidade and Entidade Transferencia e' uma instancia de Air Entidade e' uma instancia de Lung Entidade e' uma instancia de Chest Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Transferencia esta' entre Entidade e Entidade vale durante imediatemente antes de tempo de existencia de Transferencia Objeto tem por fim Transferencia e' Outside em relacao a Entidade vale durante imediatemente apos tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1057-1065	DownAndInRoom e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Indoors Objeto e' uma instancia de Regiao Objeto e' Adjacent em relacao a Objeto Objeto e' Outside em relacao a Objeto Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	DownAndOutRoom e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Outdoors Objeto e' uma instancia de Regiao Objeto e' Adjacent em relacao a Objeto Objeto e' Outside em relacao a Objeto Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	Fisico e' uma instancia de Catheter Fisico tem por fim Entidade Entidade, EntidadeBJ and Entidade Entidade e' uma instancia de Organismo Entidade e' uma instancia de Movimento moves Entidade and EntidadeBJ Entidade e' Outside em relacao a Entidade Fisico e' o caminho ao longo do qual Entidade ocorre Entidade tem como origem Entidade Entidade termina em Entidade Entidade tem como origem Entidade Entidade termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4358-4365	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.	Mid-level-ontology.kif 9506-9518	Fisico e' uma instancia de PlantRoot Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transferencia Fisico e' um instrumento para Entidade Entidade tem como origem Entidade Entidade e' Outside em relacao a Fisico objectTransferred Entidade and Entidade Entidade e' uma instancia de FreshWater Entidade e' uma instancia de Nutriente
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4677-4688	Fisico e' uma instancia de VehicleRoofRack Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transferencia Entidade e' um patient de Entidade Entidade e' uma instancia de Automobile Fisico e' Outside em relacao a Entidade Entidade encontra Fisico Fisico e' uma &parte de Entidade Entidade e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11690-11700	Objeto e' uma instancia de Exoskeleton Objeto Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' Outside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9123-9126	Objeto e' uma &parte de Objeto Objeto e' Outside em relacao a Objeto

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