Outside - Sigma Knowledge base Browser

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 est une instance de attribut positionnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9105-9105	Inside est l'oppos� 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	Objet est Outside � objet objet est partiellement localis� � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	Objet est Outside � r�gion objet est une instance de PerimeterAreaFn r�gion objet est une instance de UniformPerimeterArea la largeur de objet est nombre r�el unit� de mesure(s) la distance entre objet et r�gion est nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure ( nombre r�el + nombre r�el) est plus grand que 0.0 objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	Objet est Outside � r�gion objet est une instance de PerimeterAreaFn r�gion objet est une instance de UniformPerimeterArea la largeur de objet est nombre r�el unit� de mesure(s) la distance entre objet et r�gion est nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure ( nombre r�el + nombre r�el) est plus petit ou �gal � 0.0 objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	viewType objet and physique objet est une instance de pi�ce objet est une instance de physique objet est Outside � objet l'argument entit� entit� entit� est une instance de humain entit� est situ� � objet entit� est une instance de voir objet est un patient de entit� entit� est un agent de entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9110-9112	Objet est Outside � objet objet est une instance de r�gion

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	Concave est un attribut de objet en une partie objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objet est une partie de objet en une partie objet est LineFn objet and objet objet est objet objet est une partie de objet objet est Outside � objet en une partie
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	Transf�re est une instance de Thoracentesis objet est un patient de transf�re transf�re objet, transf�reN, objet, objet and objet transf�re est une instance de Inserting transf�re est un sous-processus de transf�re objectTransferred transf�re and objet transf�re a pour origine objet transf�re aboutit � transf�reN objet est une instance de Needle Fluid est un attribut de objet objectTransferred transf�re and objet objet aboutit � objet objet est une instance de Lung objet est une instance de Chest objet est une partie de objet objet est une partie de objet transf�re a pour origine transf�reN transf�re aboutit � objet transf�reN est entre objet et objet objet est Outside � objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objet est une instance de VentedChestSeal transf�re est une instance de attacher objectTransferred transf�re and objet transf�re aboutit � entit� objet a pour but transf�re entit�, entit� and entit� transf�re est une instance de Air entit� est une instance de Lung entit� est une instance de Chest entit� est une partie de entit� entit� est une partie de entit� transf�re est entre entit� et entit� pendant immediatement avant temps d'existence de transf�re objet a pour but transf�re est Outside � entit� pendant immediatement apr�s temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1057-1065	DownAndInRoom est un attribut de objet objet objet objet est une instance de Indoors objet est une instance de r�gion objet est Adjacent � objet objet est Outside � objet objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	DownAndOutRoom est un attribut de objet objet objet objet est une instance de Outdoors objet est une instance de r�gion objet est Adjacent � objet objet est Outside � objet objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	Physique est une instance de Catheter physique a pour but entit� entit�, entit�BJ and entit� entit� est une instance de organisme entit� est une instance de d�palcement moves entit� and entit�BJ entit� est Outside � entit� physique est le chemin le long duquel entit� se produit entit� a pour origine entit� entit� aboutit � entit� entit� a pour origine entit� entit� aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4358-4365	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.	Mid-level-ontology.kif 9506-9518	Physique est une instance de PlantRoot physique a pour but entit� entit� and entit� entit� est une instance de transf�re physique est un instrument pour entit� entit� a pour origine entit� entit� est Outside � physique objectTransferred entit� and entit� entit� est une instance de FreshWater entit� est une instance de nutriment
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4677-4688	Physique est une instance de VehicleRoofRack physique a pour but entit� entit� and entit� entit� est une instance de transf�re entit� est un patient de entit� entit� est une instance de Automobile physique est Outside � entit� entit� rencontre physique physique est une partie de entit� entit� est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11690-11700	Objet est une instance de Exoskeleton objet objet est une instance de animal objet est une partie de objet objet objet est une partie de objet objet est Outside � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9123-9126	Objet est une partie de objet objet est Outside � objet

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