between - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - between

between

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2119-2121
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4156-4159
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 772-774
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4152-4152	Le nombre 1 argument de between est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4153-4153	Le nombre 2 argument de between est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4154-4154	Le nombre 3 argument de between est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4150-4150	between est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4151-4151	between est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	english_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	french_format.kif 58-58
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 37-37
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1881-1881
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 10-10
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 71-71
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 71-71
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 55-55
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 77-77
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 90-90
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 66-66
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10900-10900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10899-10899
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 18-18
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 91-91

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	Appareil est une instance de Gun unit� de mesure est une instance de UnitOfLength effectiveRange appareil and nombre r�el unit� de mesure(s) la distance entre appareil et objet est nombre r�el1 unit� de mesure(s) objet est une instance de organisme objet2 objet2 est entre objet et appareil nombre r�el1 est plus petit ou �gal � nombre r�el cha�ne sympbolique appareil est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	Appareil est une instance de Gun unit� de mesure est une instance de UnitOfLength effectiveRange appareil and nombre r�el unit� de mesure(s) la distance entre appareil et objet est nombre r�el1 unit� de mesure(s) objet2 objet2 est entre objet et appareil nombre r�el1 est plus petit ou �gal � nombre r�el cha�ne sympbolique appareil est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4161-4163	Objet est entre objet et objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9564-9566	Objet est entre objet et objet objet relie objet et objet

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17026-17031	Attribut positionnel est une instance de attribut directionnel objet est attribut positionnel � objet objet est attribut positionnel � objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	Objet en une partie est une instance de Isthmus le cot� de objet en une partie est objet en une partie le cot� de objet en une partie est objet en une partie objet en une partie est objet en une partie objet objet, objet and objet objet est une instance de zone de terre objet est une instance de zone de terre objet en une partie est entre objet et objet objet est une instance de plan d'eau objet est une instance de plan d'eau objet en une partie rencontre objet objet en une partie rencontre objet
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 224-237	Objet corpusculaire est une instance de MiddleCIButton objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance de ComputerInputDevice objet corpusculaire objet corpusculaire objet corpusculaire est une instance de RightCIButton objet corpusculaire est une instance de LeftCIButton objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est entre objet corpusculaire et objet corpusculaire objet corpusculaire est Left � objet corpusculaire objet corpusculaire est Right � objet corpusculaire
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.	Geography.kif 1206-1212	Secteur g�ographique est une instance de MaritimeContiguousZone claimedTerritory secteur g�ographique and AutonomousAgent secteur g�ographique est une instance de TerritorialSea claimedTerritory secteur g�ographique and AutonomousAgent secteur g�ographique est entre AutonomousAgent et secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11104-11114	Objet est le chemin le long duquel d�palcement se produit d�palcement a pour origine objet d�palcement aboutit � objet le longueur de objet est nombre r�el unit� de mesure(s) la distance entre objet et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el objet est une partie de objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15188-15209	Classe est une sous-classe de tissu classe est une sous-classe de tissu objet est une instance de classe objet est une instance de classe objet est une instance de humain objet est une partie de objet objet est une partie de objet classe est classe classe est une sous-classe de classe classe est une sous-classe de classe objet est Adjacent � objet l'argument entit� entit� est une instance de ConnectiveTissue entit� est entre objet et objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15151-15163	Translucent est un attribut de objet l'argument entit� entit� and objetBJ entit� est une instance de lumi�re irradiante entit� est une resource pour entit� entit� aboutit � objetBJ objet est entre entit� et objetBJ Illuminated est un attribut de objetBJ pendant temps d'existence de entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15139-15149	Translucent est un attribut de objet l'argument entit� entit� and entit� entit� est une instance de voir entit� est un agent de entit� entit� aboutit � entit� entit� est entre objet et entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15123-15132	Transparent est un attribut de objet l'argument entit� entit� and entit� entit� est une instance de voir entit� est un agent de entit� entit� aboutit � entit� entit� est entre objet et entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4161-4163	Objet est entre objet et objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4178-4180	betweenOnPath objet, objet, objet and objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9560-9562	Objet relie objet et objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	Pneumothorax est un attribut de entit� pendant position temporel entit� entit� 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� entit� est entre entit� et entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9080-9086	Objet est une instance de StormFront objet objet objet est une instance de Air objet est une instance de Air objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15621-15636	Physique est une instance de Hallway physique a pour but entit� entit�, entit� and entit� entit� est une instance de Translocation physique est le chemin le long duquel entit� se produit physique est situ� � entit� entit� est une instance de immeuble physique est entre entit� et entit� entit� est une instance de pi�ce entit� est une instance de pi�ce entit� est situ� � entit� entit� est situ� � entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3244-3254	Objet est une instance de LaminatedWindshield objet objet and objet objet est une instance de Glass objet est une instance de Glass objet est une instance de Plastic objet est une partie de objet objet est une partie de objet objet est une partie de objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 1584-1597	Objet est une instance de Sandwich objet objet and objet objet est une instance de BreadOrBiscuit objet est une instance de BreadOrBiscuit objet est une instance de FoodForFn humain objet est entre objet et objet objet est objet objet est objet objet est objet objet est une partie de objet objet est une partie de objet objet est une partie de objet

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

CountriesAndRegions.kif 233-233

SaintHelena est entre SouthAmerica et WesternAfrica

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