(=>     (and         (parent ?ORGANISM1 ?PARENT1)         (parent ?ORGANISM2 ?PARENT1)         (parent ?ORGANISM1 ?PARENT2)         (parent ?ORGANISM2 ?PARENT2)         (not             (equal ?ORGANISM1 ?ORGANISM2))         (not             (equal ?PARENT1 ?PARENT2)))     (sibling ?ORGANISM1 ?ORGANISM2))	Merge.kif 16493-16501	Organismo è un parente di Organismo Organismo è un parente di Organismo Organismo è un parente di Organismo Organismo è un parente di Organismo Organismo is uguale a Organismo Organismo is uguale a Organismo Organismo è un fratello germano di Organismo
(=>     (and         (part ?OBJ1 ?OBJ2)         (not             (part ?OBJ2 ?OBJ1)))     (properPart ?OBJ1 ?OBJ2))	Merge.kif 942-947	Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Oggetto è una Parte propria di Oggetto
(=>     (and         (partition ?SUPER ?SUB1 ?SUB2)         (instance ?INST ?SUPER)         (not             (instance ?INST ?SUB1)))     (instance ?INST ?SUB2))	Merge.kif 606-612	Classe è esaustivamente partizionato in Classe + Classe Entit� è un' istanza di Classe Entit� è un' istanza di Classe Entit� è un' istanza di Classe
(=>     (and         (path ?PROCESS ?PATH1)         (origin ?PROCESS ?SOURCE)         (destination ?PROCESS ?DEST)         (length ?PATH1             (MeasureFn ?MEASURE1 ?U))         (distance ?SOURCE ?DEST             (MeasureFn ?DISTANCE ?U))         (not             (greaterThan ?MEASURE1 ?DISTANCE))         (part ?OBJ ?PATH1))     (between ?SOURCE ?OBJ ?DEST))	Merge.kif 11104-11114	Oggetto è cammino mentre Movimento si verifica Movimento si originas in Oggetto Movimento fines in Oggetto la lunghezza di Oggetto è NumeroReale Unit�DiMisura(s la distanza tra Oggetto e Oggetto è NumeroReale Unit�DiMisura(s NumeroReale è più grande di NumeroReale Oggetto è una parte di Oggetto Oggetto è tra Oggetto e Oggetto
(=>     (and         (patient ?PROCESS ?PATIENT)         (time ?PATIENT             (EndFn                 (WhenFn ?PROCESS)))         (not             (time ?PATIENT                 (BeginFn                     (WhenFn ?PROCESS)))))     (instance ?PROCESS Creation))	Merge.kif 12826-12832	Entit�Concreta è un paziente di Processo Entit�Concreta esistes durante la fine di il tempo di esistenza di Processo Entit�Concreta non esiste durante l' inizio di il tempo di esistenza di Processo Processo è un' istanza di Creazione
(=>     (and         (physicalEnd ?E1 ?O)         (physicalEnd ?E2 ?O)         (not             (equal ?E1 ?E2)))     (not         (meetsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1280-1287	physicalEnd Oggetto and Oggetto physicalEnd Oggetto and Oggetto Oggetto is uguale a Oggetto Oggetto non incontra Oggetto
(=>     (and         (physicalEnd ?E1 ?O)         (physicalEnd ?E2 ?O)         (not             (equal ?E1 ?E2)))     (not         (overlapsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1271-1278	physicalEnd Oggetto and Oggetto physicalEnd Oggetto and Oggetto Oggetto is uguale a Oggetto Oggetto non si sovrappone a Oggetto
(=>     (and         (physicalEnd ?E1 ?O)         (physicalEnd ?E2 ?O)         (part ?P1 ?E1)         (part ?P2 ?E2)         (instance ?U UnitOfLength)         (distance ?P1 ?P2             (MeasureFn ?D1 ?U))         (not             (equal ?E1 ?E2)))     (not         (exists (?OP1 ?OP2 ?D2)             (and                 (not                     (part ?OP1 ?E1))                 (not                     (part ?OP2 ?E2))                 (distance ?OP1 ?OP2                     (MeasureFn ?D2 ?U))                 (greaterThan ?D2 ?D1)))))	Mid-level-ontology.kif 1295-1315	physicalEnd Oggetto and Oggetto physicalEnd Oggetto and Oggetto Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Unit�DiMisura è un' istanza di UnitOfLength la distanza tra Oggetto e Oggetto è NumeroReale Unit�DiMisura(s Oggetto is uguale a Oggetto OggettoP1 OggettoP2 and NumeroReale OggettoP1 è una parte di Oggetto OggettoP2 è una parte di Oggetto la distanza tra OggettoP1 e OggettoP2 è NumeroReale Unit�DiMisura(s NumeroReale è più grande di NumeroReale
(=>     (and         (physicalEnd ?P1 ?O)         (physicalEnd ?P2 ?O)         (not             (equal ?P1 ?P2))         (distance ?P1 ?P2             (MeasureFn ?D ?U)))     (not         (exists (?OP1 ?OP2 ?N2)             (and                 (physicalEnd ?OP1 ?O)                 (physicalEnd ?OP2 ?O)                 (not                     (equal ?OP1 ?OP2))                 (distance ?OP1 ?OP2                     (MeasureFn ?N2 ?U))                 (greaterThan ?N2 ?D)))))	Merge.kif 17969-17984	physicalEnd Oggetto and Oggetto physicalEnd Oggetto and Oggetto Oggetto is uguale a Oggetto la distanza tra Oggetto e Oggetto è NumeroReale Unit�DiMisura(s OggettoP1 OggettoP2 and NumeroReale physicalEnd OggettoP1 and Oggetto physicalEnd OggettoP2 and Oggetto OggettoP1 is uguale a OggettoP2 la distanza tra OggettoP1 e OggettoP2 è NumeroReale Unit�DiMisura(s NumeroReale è più grande di NumeroReale
(=>     (and         (property ?AGREEMENT Contract)         (partyToAgreement ?AGENT1 ?AGREEMENT)         (partyToAgreement ?AGENT2 ?AGREEMENT)         (instance ?PROC IntentionalProcess)         (agent ?PROC ?AGENT1)         (realization ?PROC ?PROP)         (not             (consistent ?PROP ?AGREEMENT)))     (modalAttribute         (exists (?LEGAL)             (and                 (instance ?LEGAL LegalAction)                 (plaintiff ?LEGAL ?AGENT2)                 (defendant ?LEGAL ?AGENT1))) Possibility))	Mid-level-ontology.kif 14148-14162	Agreement ha un attributo Contract partyToAgreement AgenteCognitivo and Agreement partyToAgreement AgenteCognitivo and Agreement Processo è un' istanza di ProcessoIntenzionale Processo è un agente di AgenteCognitivo Processo esprime il contenuto di Proposizione consistent Proposizione and Agreement l'affermazione Entit� Entit� è un' istanza di AzioneLegale plaintiff Entit� and AgenteCognitivo defendant Entit� and AgenteCognitivo ha il modello di forza di Possibility
(=>     (and         (relativeAngle ?O1 ?O2 ?N)         (physicalEnd ?E1 ?O1)         (physicalEnd ?E2 ?O1)         (not             (equal ?E1 ?E2))         (length ?O1             (MeasureFn ?N1 ?U))         (length ?O2             (MeasureFn ?N2 ?U))         (distance ?E1 ?E3             (MeasureFn ?N3 ?U))         (physicalEnd ?E3 ?O2)         (physicalEnd ?E4 ?O2)         (not             (equal ?E3 ?E4))         (not             (meetsSpatially ?E1 ?E3)))     (equal ?N         (ArcCosineFn             (DivisionFn                 (SubtractionFn                     (SubtractionFn                         (MultiplicationFn ?N3 ?N3)                         (MultiplicationFn ?N1 ?N1))                     (MultiplicationFn ?N2 ?N2))                 (MultiplicationFn 2.0                     (MultiplicationFn ?N1 ?N2))))))	Merge.kif 17928-17953	relativeAngle Oggetto, Oggetto and NumeroReale physicalEnd Oggetto and Oggetto physicalEnd Oggetto and Oggetto Oggetto is uguale a Oggetto la lunghezza di Oggetto è NumeroReale1 Unit�DiMisura(s la lunghezza di Oggetto è NumeroReale2 Unit�DiMisura(s la distanza tra Oggetto e Oggetto è NumeroReale3 Unit�DiMisura(s physicalEnd Oggetto and Oggetto physicalEnd Oggetto and Oggetto Oggetto is uguale a Oggetto Oggetto non incontra Oggetto NumeroReale is uguale a l' arcocoseno di (( NumeroReale3 + NumeroReale3 + NumeroReale1 + NumeroReale1 + NumeroReale2 + NumeroReale2 + 2.0 + NumeroReale1 + NumeroReale2
(=>     (and         (side ?SIDE ?OBJECT)         (part ?PART ?OBJECT)         (not             (connected ?PART ?SIDE)))     (exists (?DIRECT)         (orientation ?SIDE ?PART ?DIRECT)))	Merge.kif 9767-9773	Un lato di OggettoIntegro è OggettoIntegro Oggetto è una parte di OggettoIntegro Oggetto è connesso a OggettoIntegro AttributoPosizionale OggettoIntegro è AttributoPosizionale a Oggetto
(=>     (and         (subclass ?T1C Tissue)         (subclass ?T2C Tissue)         (instance ?T1 ?T1C)         (instance ?T2 ?T2C)         (instance ?H Human)         (part ?T1 ?H)         (part ?T2 ?H)         (not             (equal ?T1C ?T2C))         (not             (subclass ?T1C ?T2C))         (not             (subclass ?T2C ?T1C))         (orientation ?T1 ?T2 Adjacent))     (modalAttribute         (exists (?CT)             (and                 (instance ?CT ConnectiveTissue)                 (between ?T1 ?CT ?T2))) Likely))	Merge.kif 15188-15209	Classe è una sottoclasse di Tessuto Classe è una sottoclasse di Tessuto Oggetto è un' istanza di Classe Oggetto è un' istanza di Classe Oggetto è un' istanza di Umano Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Classe is uguale a Classe Classe è una sottoclasse di Classe Classe è una sottoclasse di Classe Oggetto è Adjacent a Oggetto l'affermazione Entit� Entit� è un' istanza di ConnectiveTissue Entit� è tra Oggetto e Oggetto ha il modello di forza di Likely
(=>     (and         (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)         (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)         (not             (equal ?LANG1 ?LANG2)))     (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))	Media.kif 3268-3273	titleInLanguage Stringa, Entit� and Linguaggio originalTitle Stringa, Entit� and Linguaggio Linguaggio is uguale a Linguaggio translatedTitle Stringa, Entit� and Linguaggio
(=>     (and         (top ?TOP ?OBJECT)         (part ?PART ?OBJECT)         (not             (connected ?PART ?TOP)))     (orientation ?PART ?TOP Below))	Merge.kif 9752-9757	Ilvertice OggettoIntegro è OggettoIntegro Oggetto è una parte di OggettoIntegro Oggetto è connesso a OggettoIntegro Oggetto è Below a OggettoIntegro
(=>     (and         (typicalAction ?PROCESS ?AGENT)         (instance ?A ?AGENT)         (equal ?PPROB             (ProbabilityFn                 (exists (?X)                     (and                         (instance ?X ?PROCESS)                         (agent ?X ?A)))))         (equal ?NOTPPROB             (ProbabilityFn                 (not                     (exists (?Y)                         (and                             (instance ?Y ?PROCESS)                             (agent ?Y ?A)))))))     (greaterThan ?PPROB ?NOTPPROB))	Mid-level-ontology.kif 22831-22848	typicalAction Processo and AutonomousAgent Entit� è un' istanza di AutonomousAgent NumeroReale is uguale a la probabilità di Entit� Entit� è un' istanza di Processo Entit� è un agente di Entit� NumeroReale is uguale a la probabilità di Entit� Entit� è un' istanza di Processo Entit� è un agente di Entit� NumeroReale è più grande di NumeroReale
(=>     (and         (typicalBloodVolume ?M             (MeasureFn ?N ?U))         (instance ?MI ?M)         (holdsDuring ?T             (and                 (not                     (attribute ?H DiseaseOrSyndrome))                 (bloodVolume ?H                     (MeasureFn ?N2 ?U)))))     (approximateValue ?N2 ?N))	Medicine.kif 5933-5944	typicalBloodVolume Mammifero and NumeroReale Unit�DiMisura(s MammiferoI è un' istanza di Mammifero attribute Entit� and MalattiaOSindrome bloodVolume Entit� and NumeroReale2 Unit�DiMisura(s vales durante PosizioneTemporale approximateValue NumeroReale2 and NumeroReale
(=>     (and         (typicalPart ?PART ?WHOLE)         (instance ?X ?PART)         (equal ?PARTPROB             (ProbabilityFn                 (exists (?Y)                     (and                         (instance ?Y ?WHOLE)                         (part ?X ?Y)))))         (equal ?NOTPARTPROB             (ProbabilityFn                 (not                     (exists (?Z)                         (and                             (instance ?Z ?WHOLE)                             (part ?X ?Z)))))))     (greaterThan ?PARTPROB ?NOTPARTPROB))	Mid-level-ontology.kif 23639-23656	typicalPart Oggetto and Oggetto Entit� è un' istanza di Oggetto OggettoPROB is uguale a la probabilità di Entit� Entit� è un' istanza di Oggetto Entit� è una parte di Entit� NumeroReale is uguale a la probabilità di Entit� Entit� è un' istanza di Oggetto Entit� è una parte di Entit� OggettoPROB è più grande di NumeroReale
(=>     (and         (typicalTemporalPart ?PART ?WHOLE)         (instance ?X ?PART)         (equal ?PARTPROB             (ProbabilityFn                 (exists (?Y)                     (and                         (instance ?Y ?WHOLE)                         (temporalPart ?X ?Y)))))         (equal ?NOTPARTPROB             (ProbabilityFn                 (not                     (exists (?Z)                         (and                             (instance ?Z ?WHOLE)                             (temporalPart ?X ?Z)))))))     (greaterThan ?PARTPROB ?NOTPARTPROB))	Cars.kif 1453-1470	typicalTemporalPart Processo and Processo Entit� è un' istanza di Processo ProcessoPROB is uguale a la probabilità di Entit� Entit� è un' istanza di Processo Entit� è una parte di Entit� NumeroReale is uguale a la probabilità di Entit� Entit� è un' istanza di Processo Entit� è una parte di Entit� ProcessoPROB è più grande di NumeroReale
(=>     (and         (typicallyContainsPart ?PART ?WHOLE)         (instance ?Y ?WHOLE)         (equal ?PARTPROB             (ProbabilityFn                 (exists (?X1)                     (and                         (instance ?X1 ?PART)                         (part ?X1 ?Y)))))         (equal ?NOTPARTPROB             (ProbabilityFn                 (not                     (exists (?X2)                         (and                             (instance ?X2 ?PART)                             (part ?X2 ?Y)))))))     (greaterThan ?PARTPROB ?NOTPARTPROB))	Mid-level-ontology.kif 23676-23693	typicallyContainsPart Oggetto and Oggetto Entit� è un' istanza di Oggetto OggettoPROB is uguale a la probabilità di Entit� Entit� è un' istanza di Oggetto Entit� è una parte di Entit� NumeroReale is uguale a la probabilità di Entit� Entit� è un' istanza di Oggetto Entit� è una parte di Entit� OggettoPROB è più grande di NumeroReale
(=>     (and         (typicallyContainsTemporalPart ?PART ?WHOLE)         (instance ?Y ?WHOLE)         (equal ?PARTPROB             (ProbabilityFn                 (exists (?X1)                     (and                         (instance ?X1 ?PART)                         (temporalPart ?X1 ?Y)))))         (equal ?NOTPARTPROB             (ProbabilityFn                 (not                     (exists (?X2)                         (and                             (instance ?X2 ?PART)                             (temporalPart ?X2 ?Y)))))))     (greaterThan ?PARTPROB ?NOTPARTPROB))	Cars.kif 1493-1510	typicallyContainsTemporalPart Processo and Processo Entit� è un' istanza di Processo ProcessoPROB is uguale a la probabilità di Entit� Entit� è un' istanza di Processo Entit� è una parte di Entit� NumeroReale is uguale a la probabilità di Entit� Entit� è un' istanza di Processo Entit� è una parte di Entit� ProcessoPROB è più grande di NumeroReale
(=>     (and         (unitNumber ?UNITSTR ?PLACE)         (not             (exists (?FLR)                 (floorCode ?FLR ?PLACE))))     (exists (?UNIT)         (and             (instance ?UNIT Room)             (names ?UNITSTR ?UNIT)             (located ?UNIT ?PLACE))))	Mid-level-ontology.kif 24644-24654	unitNumber Stringa and PostalPlace Stringa floorCode Stringa and PostalPlace Entit�Concreta Entit�Concreta è un' istanza di Stanza names Stringa and Entit�Concreta Entit�Concreta è localizzato in PostalPlace
(=>     (holdsDuring ?T1         (and             (member ?AGENT1 Public)             (member ?AGENT2 Public)             (not                 (equal ?AGENT1 ?AGENT2))))     (exists (?INTEREST)         (holdsDuring ?T1             (and                 (desires ?AGENT1 ?INTEREST)                 (desires ?AGENT2 ?INTEREST)))))	Mid-level-ontology.kif 26068-26079	Entit� è un membro di Public Entit� è un membro di Public Entit� is uguale a Entit� vales durante PosizioneTemporale Entit� Entit� desideras Entit� Entit� desideras Entit� vales durante PosizioneTemporale
(=>     (holdsDuring ?TIME         (not ?SITUATION))     (not         (holdsDuring ?TIME ?SITUATION)))	Merge.kif 3895-3899	Formula vales durante PosizioneTemporale Formula non vale durante PosizioneTemporale

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