(=>     (equal ?P         (PlantFn TamarindFruit))     (subclass ?P BotanicalTree))	Food.kif 3489-3491	Plante est PlantFn TamarindFruit plante est une sous-classe de BotanicalTree
(=>     (equal ?P         (PlantFn WineGrape))     (subclass ?P GrapeVine))	Economy.kif 4732-4735	Plante est PlantFn WineGrape plante est une sous-classe de GrapeVine
(=>     (equal ?X         (PlantFn CommonWheatGrain))     (subclass ?X CommonWheatGrass))	Economy.kif 4066-4069	Plante est PlantFn CommonWheatGrain plante est une sous-classe de CommonWheatGrass
(=>     (equal ?X         (PlantFn DurumWheatGrain))     (subclass ?X DurumWheatGrass))	Economy.kif 4076-4079	Plante est PlantFn DurumWheatGrain plante est une sous-classe de DurumWheatGrass
(=>     (equal ?X         (PlantFn EinkornWheatGrain))     (subclass ?X EinkornWheatGrass))	Economy.kif 4096-4099	Plante est PlantFn EinkornWheatGrain plante est une sous-classe de EinkornWheatGrass
(=>     (equal ?X         (PlantFn EmmerWheatGrain))     (subclass ?X EmmerWheatGrass))	Economy.kif 4086-4089	Plante est PlantFn EmmerWheatGrain plante est une sous-classe de EmmerWheatGrass
(=>     (equal ?X         (PlantFn SpeltWheatGrain))     (subclass ?X SpeltWheatGrass))	Economy.kif 4107-4110	Plante est PlantFn SpeltWheatGrain plante est une sous-classe de SpeltWheatGrass
(=>     (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)     (subclass ?PRODUCTTYPE Collection))	Media.kif 3203-3205	groupingTitle cha�ne sympbolique, classe and langage classe est une sous-classe de collection
(=>     (habitatOfOrganism ?O ?L)     (not         (subclass ?O DomesticAnimal)))	Mid-level-ontology.kif 30397-30400	habitatOfOrganism organisme and secteur g�ographique organisme est une sous-classe de DomesticAnimal
(=>     (immediateInstance ?ENTITY ?CLASS)     (not         (exists (?SUBCLASS)             (and                 (subclass ?SUBCLASS ?CLASS)                 (not                     (equal ?SUBCLASS ?CLASS))                 (instance ?ENTITY ?SUBCLASS)))))	Merge.kif 98-104	Entit� est une instance imm�diate de classe classe classe est une sous-classe de classe classe est classe entit� est une instance de classe
(=>     (immediateSubclass ?CLASS1 ?CLASS2)     (not         (exists (?CLASS3)             (and                 (subclass ?CLASS3 ?CLASS2)                 (subclass ?CLASS1 ?CLASS3)                 (not                     (equal ?CLASS2 ?CLASS3))                 (not                     (equal ?CLASS1 ?CLASS3))))))	Merge.kif 160-167	Classe est une sous-classe imm�diate de classe classe classe est une sous-classe de classe classe est une sous-classe de classe classe est classe classe est classe
(=>     (instance ?ARTIFACT GameArtifact)     (exists (?GAME)         (and             (subclass ?GAME Game)             (capability ?GAME instrument ?ARTIFACT))))	Mid-level-ontology.kif 16981-16986	Objet est une instance de GameArtifact processus processus est une sous-classe de jeu objet est capable de faire processus dans le r�le instrument
(=>     (instance ?BERG Iceberg)     (exists (?SHEET)         (and             (subclass ?SHEET Glacier)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?BERG))                 (material ?SHEET ?BERG)))))	Geography.kif 4732-4740	Physique est une instance de Iceberg classe classe est une sous-classe de Glacier classe est fait de physique pendant immediatement avant temps d'existence de physique
(=>     (instance ?C ElectricalConductor)     (exists (?S)         (and             (subclass ?S ConductorSubstance)             (material ?S ?C))))	engineering.kif 826-831	Objet corpusculaire est une instance de ElectricalConductor substance substance est une sous-classe de ConductorSubstance substance est fait de objet corpusculaire
(=>     (instance ?CF CharcoalFilter)     (exists (?C)         (and             (subclass ?C Charcoal)             (material ?C ?CF))))	Cars.kif 1688-1693	Objet corpusculaire est une instance de CharcoalFilter substance substance est une sous-classe de Charcoal substance est fait de objet corpusculaire
(=>     (instance ?CLASS Class)     (subclass ?CLASS Entity))	Merge.kif 828-830	Classe est une instance de classe classe est une sous-classe de entit�
(=>     (instance ?CO CounterOperation)     (hasPurpose ?CO         (exists (?AGENT ?ENEMY ?OP ?CLASS)             (and                 (agent ?CO ?AGENT)                 (enemy ?AGENT ?ENEMY)                 (subclass ?CLASS MilitaryOperation)                 (instance ?OP ?CLASS)                 (agent ?OP ?ENEMY)                 (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2174-2184	Physique est une instance de CounterOperation physique a pour but entit� entit�, entit� and entit� physique est un agent de entit� enemy entit� and entit� entit� est une sous-classe de MilitaryOperation entit� est une instance de entit� entit� est un agent de entit� physique previent l'occurrence de entit�
(=>     (instance ?CO CounterReconnaissance)     (hasPurpose ?CO         (exists (?AGENT ?ENEMY ?OP ?CLASS)             (and                 (agent ?CO ?AGENT)                 (enemy ?AGENT ?ENEMY)                 (subclass ?CLASS ReconnaissanceOperation)                 (instance ?OP ?CLASS)                 (agent ?OP ?ENEMY)                 (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2193-2203	Physique est une instance de CounterReconnaissance physique a pour but entit� entit�, entit� and entit� physique est un agent de entit� enemy entit� and entit� entit� est une sous-classe de ReconnaissanceOperation entit� est une instance de entit� entit� est un agent de entit� physique previent l'occurrence de entit�
(=>     (instance ?CO CounterTerrorism)     (hasPurpose ?CO         (exists (?AGENT ?ENEMY ?OP ?CLASS)             (and                 (agent ?CO ?AGENT)                 (enemy ?AGENT ?ENEMY)                 (subclass ?CLASS Terrorism)                 (instance ?OP ?CLASS)                 (agent ?OP ?ENEMY)                 (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2032-2042	Physique est une instance de CounterTerrorism physique a pour but entit� entit�, entit� and entit� physique est un agent de entit� enemy entit� and entit� entit� est une sous-classe de Terrorism entit� est une instance de entit� entit� est un agent de entit� physique previent l'occurrence de entit�
(=>     (instance ?COIN CurrencyCoin)     (exists (?METAL)         (and             (subclass ?METAL Metal)             (material ?METAL ?COIN))))	Mid-level-ontology.kif 3600-3605	Objet corpusculaire est une instance de CurrencyCoin substance substance est une sous-classe de m�tal substance est fait de objet corpusculaire
(=>     (instance ?GRAPH Graph)     (subclass         (MinimalCutSetFn ?GRAPH)         (CutSetFn ?GRAPH)))	Merge.kif 6087-6089	Graph est une instance de graph l' ensemble minimal de chemins qui partitionnent graph en deux graph s�par� est une sous-classe de l' ensemble de chemins qui partitionnent graph en deux graph s�par�
(=>     (instance ?I ResistorElement)     (exists (?S)         (and             (subclass ?S InsulatorSubstance)             (material ?S ?I))))	engineering.kif 855-860	Objet corpusculaire est une instance de ResistorElement substance substance est une sous-classe de InsulatorSubstance substance est fait de objet corpusculaire
(=>     (instance ?INDUSTRY Industry)     (exists (?MEMB1 ?MEMB2 ?CLASS)         (and             (member ?MEMB1 ?INDUSTRY)             (member ?MEMB2 ?INDUSTRY)             (subclass ?CLASS Corporation)             (immediateInstance ?MEMB1 ?CLASS)             (immediateInstance ?MEMB2 ?CLASS))))	Mid-level-ontology.kif 15016-15024	Collection est une instance de Industry physique physique and classe physique est un membre de collection physique est un membre de collection classe est une sous-classe de corporation physique est une instance imm�diate de classe physique est une instance imm�diate de classe
(=>     (instance ?M Meat)     (exists (?DA ?AC)         (and             (instance ?DA                 (DeadFn ?AC))             (part ?M ?DA)             (subclass ?AC Animal))))	Food.kif 1909-1915	Objet est une instance de viande objet objet organique objet est une instance de DeadFn objet organique objet est une partie de objet objet organique est une sous-classe de animal
(=>     (instance ?OBJ CorpuscularObject)     (exists (?SUBSTANCE1 ?SUBSTANCE2)         (and             (subclass ?SUBSTANCE1 Substance)             (subclass ?SUBSTANCE2 Substance)             (material ?SUBSTANCE1 ?OBJ)             (material ?SUBSTANCE2 ?OBJ)             (not                 (equal ?SUBSTANCE1 ?SUBSTANCE2)))))	Merge.kif 1231-1239	Objet corpusculaire est une instance de objet corpusculaire substance substance substance est une sous-classe de substance substance est une sous-classe de substance substance est fait de objet corpusculaire substance est fait de objet corpusculaire substance est substance
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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