|
| (=> (and (holdsDuring ?T1 (attribute ?P StatelessPerson)) (instance ?NAT Nation)) (holdsDuring ?T1 (not (citizen ?P ?NAT)))) |
MilitaryPersons.kif 195-201 | |
| (=> (and (holdsDuring ?T1 (legalRelation ?A1 ?A2)) (instance ?A1 Organism) (instance ?A2 Organism)) (holdsDuring ?T1 (relative ?A1 ?A2))) |
Merge.kif 16324-16329 | |
| (=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP))) |
Mid-level-ontology.kif 7562-7569 | |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers))) |
Media.kif 1900-1904 | |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS MusicalComposition)) (holdsDuring ?T1 (attribute ?AGENT MusicPublishers))) |
Media.kif 1888-1892 | |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Newspaper)) (holdsDuring ?T1 (attribute ?AGENT NewspaperPublishers))) |
Media.kif 1912-1916 | |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers))) |
Media.kif 1906-1910 | |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries))) |
Media.kif 1894-1898 | |
| (=> (and (holdsDuring ?TIME ?SITUATION1) (entails ?SITUATION1 ?SITUATION2)) (holdsDuring ?TIME ?SITUATION2)) |
Merge.kif 3889-3893 | |
| (=> (and (holdsDuring ?TIME1 (developmentalForm ?OBJ ?ATTR1)) (successorAttributeClosure ?ATTR2 ?ATTR1)) (exists (?TIME2) (and (earlier ?TIME2 ?TIME1) (holdsDuring ?TIME2 (developmentalForm ?OBJ ?ATTR2))))) |
Merge.kif 14337-14344 | |
| (=> (and (holdsDuring ?TIME1 ?SITUATION) (temporalPart ?TIME2 ?TIME1)) (holdsDuring ?TIME2 ?SITUATION)) |
Merge.kif 7954-7958 | |
| (=> (and (holdsDuring ?Time (instance ?Card ExpiredCard)) (cardAccount ?Card ?Account)) (holdsDuring ?Time (not (attribute ?Card ActiveAgreement)))) |
FinancialOntology.kif 3529-3534 | |
| (=> (and (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT))))) |
Economy.kif 2583-2592 | |
| (=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 546-553 | |
| (=> (and (initialPart ?C2 ?C1) (instance ?PART ?C2)) (exists (?WHOLE) (and (instance ?WHOLE ?C1) (holdsDuring (BeginFn (WhenFn ?PART)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23710-23719 | |
| (=> (and (initiallyContainsPart ?C2 ?C1) (instance ?WHOLE ?C1)) (exists (?PART) (and (instance ?PART ?C2) (holdsDuring (BeginFn (WhenFn ?WHOLE)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23737-23745 | |
| (=> (and (instance ?A Aborting) (patient ?A ?W) (instance ?W Woman)) (and (holdsDuring (BeginFn (WhenFn ?A)) (attribute ?W Pregnant)) (holdsDuring (EndFn (WhenFn ?A)) (not (attribute ?W Pregnant))))) |
Mid-level-ontology.kif 21495-21506 | |
| (=> (and (instance ?A Amputating) (patient ?A ?H) (instance ?L Limb)) (exists (?P ?B) (and (part ?P ?L) (part ?B ?P) (instance ?B Bone) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (part ?P ?H)) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (not (part ?P ?H)))))) |
Medicine.kif 6257-6275 | |
| (=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Unconscious) (not (attribute ?P Pain))))) |
Medicine.kif 966-975 | |
| (=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (or (attribute ?P Unconscious) (not (attribute ?P Pain))))) |
Medicine.kif 949-958 | |
| (=> (and (instance ?A Apologizing) (agent ?A ?AG) (destination ?A ?P)) (exists (?ACT) (and (suffers ?ACT ?P) (agent ?ACT ?AG) (holdsDuring (WhenFn ?A) (not (wants ?AG ?ACT)))))) |
Mid-level-ontology.kif 29620-29632 | |
| (=> (and (instance ?A Appointing) (patient ?A ?H)) (exists (?P ?ORG) (and (holdsDuring (BeginFn (WhenFn ?A)) (not (occupiesPosition ?H ?P ?ORG))) (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (occupiesPosition ?H ?P ?ORG))))) |
Mid-level-ontology.kif 1042-1055 | |
| (=> (and (instance ?A Asphyxiation) (experiencer ?A ?M)) (holdsDuring (WhenFn ?A) (not (exists (?B) (and (instance ?B Breathing) (experiencer ?B ?A)))))) |
Medicine.kif 6304-6313 | |
| (=> (and (instance ?A LocalAnesthetizing) (located ?A ?BP) (instance ?BP BodyPart) (part ?BP ?P) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (not (attribute ?P (PainFn ?BP))))) |
Medicine.kif 1008-1019 | |
| (=> (and (instance ?A Sedating) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Conscious) (not (attribute ?P Anxiety))))) |
Medicine.kif 983-992 | |
| 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