Inside - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Inside

Inside

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9133-9133	Inside e' &o oposto de Outside
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9117-9119
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9116-9116	Inside e' uma instancia de Atributo Posicional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30229-30229
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30228-30228
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30227-30227

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11398-11403	Transferencia e' uma instancia de Transferencia objectTransferred Transferencia and Objeto Objeto2 e' Inside em relacao a Objeto objectTransferred Transferencia and Objeto2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9121-9130	Objeto e' uma instancia de Inside Objeto Fisico Fisico e' situado em Objeto Objeto Objeto e' uma parte interior de Objeto Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9142-9144	Objeto e' Inside em relacao a Objeto Objeto e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17225-17227	Objeto e' Inside em relacao a Objeto Objeto e' situado em Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	Convex 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' Inside em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1003-1014	Suite e' um atributo de Objeto Objeto e' uma instancia de HotelUnit Objeto Objeto Objeto e' uma instancia de HotelRoom Objeto e' uma instancia de HotelRoom Objeto e' Inside em relacao a Objeto Objeto e' Inside em relacao a Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 2316-2323	Objeto e' uma instancia de Fruta ou Vegetal Objeto e' uma &parte de Objeto Objeto e' uma instancia de FleshOrPulp Objeto e' uma &parte de Objeto Objeto e' uma instancia de PeelOrRind Objeto e' Inside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2544-2552	Objeto e' uma instancia de GUIDock Objeto ComputerProcess and Programa de Computador Programa de Computador e' uma instancia de Programa de Computador programRunning ComputerProcess and Programa de Computador Objeto e' uma instancia de Icone Objeto define ComputerProcess Objeto e' Inside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9172-9177	Objeto e' uma instancia de Indoors Objeto Objeto e' uma instancia de Predio Objeto e' Inside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4679-4690	Fisico e' uma instancia de InteriorVehicleEquipment Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Engine Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Fisico e' uma &parte de Entidade Fisico e' Inside em relacao a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9160-9166	Objeto e' uma instancia de Outdoors Objeto Objeto e' uma instancia de Predio Objeto e' Inside em relacao a Objeto

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