TreeView Knowledge Base Browser

appearance as argument number 1

(disjointRelation result instrument)	Merge.kif 2455-2455	disjointRelation result and instrument
(documentation result ChineseLanguage "(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如：在以下'埃里克建了一栋房子'这命题，房子是个 result。")	chinese_format.kif 1895-1896
(documentation result EnglishLanguage "(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a result in the following proposition: Eric built a house.")	Merge.kif 2494-2496
(domain result 1 Process)	Merge.kif 2491-2491	domain result, 1 and Process
(domain result 2 Entity)	Merge.kif 2492-2492	domain result, 2 and Entity
(instance result CaseRole)	Merge.kif 2489-2489	instance result and CaseRole
(instance result PartialValuedRelation)	Merge.kif 2490-2490	instance result and PartialValuedRelation
(subrelation result patient)	Merge.kif 2488-2488	subrelation result and patient

appearance as argument number 2

(disjointRelation resource result)	Merge.kif 2453-2453	disjointRelation resource and result
(format ChineseLanguage result "%2 %n 是 %1 的 result")	chinese_format.kif 183-183
(format EnglishLanguage result "%2 is %n a result of %1")	english_format.kif 184-184
(termFormat ChineseLanguage result "结果")	chinese_format.kif 184-184
(termFormat ChineseTraditionalLanguage result "結果")	domainEnglishFormat.kif 49778-49778
(termFormat EnglishLanguage result "result")	domainEnglishFormat.kif 49777-49777

antecedent

(<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2))))	Merge.kif 12228-12235	instance Process and Combining resource Process and Object result Process and Entity holdsDuring BeginFn WhenFn Process and part Object and Entity holdsDuring EndFn WhenFn Process and part Object and Entity
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 20077-20084	actedIn Human and ContentBearingPhysical instance Process and DramaticActing patient Process and Human result Process and ContentBearingPhysical holdsDuring WhenFn Process and attribute Human and Actor
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18188-18194	agent Process and Agent result Process and Entity instance Entity and ArtWork holdsDuring WhenFn Process and attribute Agent and Artist
(=> (and (attribute ?X Writer) (or (instance ?TEXT Text) (instance ?TEXT Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?TEXT))	Biography.kif 498-507	attribute Agent and Writer instance ContentBearingObject and Text instance ContentBearingObject and Document instance Process and Writing agent Process and Agent result Process and ContentBearingObject authors Agent and ContentBearingObject
(=> (and (directed ?DIRECTOR ?MOVIE) (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)) (holdsDuring (WhenFn ?FILMMAKING) (attribute ?DIRECTOR FilmDirector)))	Mid-level-ontology.kif 20051-20060	directed Human and MotionPicture instance Process and FilmMaking instance Agent and Organization leader Agent and Human agent Process and Agent result Process and MotionPicture holdsDuring WhenFn Process and attribute Human and FilmDirector
(=> (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)) (instance ?ARTIFACT StationaryArtifact))	Merge.kif 12590-12594	instance Process and Constructing result Process and Entity instance Entity and StationaryArtifact
(=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2)))	Dining.kif 540-556	instance Process and CateringService agent Process and CognitiveAgent destination Process and ProcessUST located CognitiveAgent and Object customer ProcessUST and CognitiveAgent Process Entity and Process instance Process and Cooking agent Process and CognitiveAgent result Process and Entity patient Process and Entity instance Process and Eating agent Process and ProcessUST eventLocated Process and Entity equal Object and Entity
(=> (and (instance ?COPY Copying) (resource ?COPY ?THING1) (result ?COPY ?THING2)) (copy ?THING1 ?THING2))	Mid-level-ontology.kif 19738-19743	instance Process and Copying resource Process and Object result Process and Object copy Object and Object
(=> (and (instance ?CREATE Creation) (result ?CREATE ?PROP) (instance ?PROP Proposition) (agent ?CREATE ?AGENT)) (propositionOwner ?AGENT ?PROP))	Catalog.kif 167-173	instance Process and Creation result Process and Proposition instance Proposition and Proposition agent Process and CognitiveAgent propositionOwner CognitiveAgent and Proposition
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V VolumeMeasure) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 9623-9646	instance Object and Antidiuretic instance Motion and Ingesting agent Motion and Agent moves Motion and Object instance TimeInterval and Urination result TimeInterval and Entity agent TimeInterval and Agent instance TimeInterval and Urination equal TimeInterval and TimeInterval result TimeInterval and Entity agent TimeInterval and Agent earlier TimeInterval and Motion earlier Motion and TimeInterval instance UnitOfMeasure and VolumeMeasure measure TimeInterval and MeasureFn RealNumber and UnitOfMeasure measure TimeInterval and MeasureFn RealNumber and UnitOfMeasure modalAttribute greaterThan RealNumber and RealNumber and Likely
(=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V VolumeMeasure) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 9593-9614	instance Object and Diuretic instance Motion and Ingesting agent Motion and Agent moves Motion and Object instance TimeInterval and Urination result TimeInterval and Entity agent TimeInterval and Agent instance TimeInterval and Urination result TimeInterval and Entity agent TimeInterval and Agent earlier TimeInterval and Motion earlier Motion and TimeInterval instance UnitOfMeasure and VolumeMeasure measure TimeInterval and MeasureFn RealNumber and UnitOfMeasure measure TimeInterval and MeasureFn RealNumber and UnitOfMeasure modalAttribute greaterThan RealNumber and RealNumber and Likely
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG))	Mid-level-ontology.kif 72-81	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval result Process and Entity experiencer Process and Agent
(=> (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON WeaponOfMassDestruction))	WMD.kif 690-694	instance Process and DevelopingWeaponOfMassDestruction result Process and Entity instance Entity and WeaponOfMassDestruction
(=> (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)) (instance ?COMPOUND CompoundSubstance))	Merge.kif 12309-12318	instance Object and ElementalSubstance instance Object and ElementalSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity instance Entity and CompoundSubstance
(=> (and (instance ?EVENT OperationPlanning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OperationPlan))	MilitaryProcesses.kif 1527-1533	instance Process and OperationPlanning result Process and ContentBearingPhysical instance ContentBearingPhysical and ContentBearingObject containsInformation ContentBearingPhysical and Proposition instance Proposition and OperationPlan
(=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN))))	Merge.kif 10726-10734	instance Process and Planning result Process and ContentBearingPhysical instance ContentBearingPhysical and ContentBearingObject Proposition instance Proposition and Plan containsInformation ContentBearingPhysical and Proposition
(=> (and (instance ?EXPERIMENT Experimenting) (result ?EXPERIMENT ?RESULT)) (instance ?RESULT Formula))	UXExperimentalTerms.kif 4001-4005	instance Process and Experimenting result Process and Entity instance Entity and Formula
(=> (and (instance ?F Fermentation) (patient ?F (JuiceOfFn ?X)) (instance ?X WineGrape) (result ?F ?W)) (instance ?W Wine))	Food.kif 1105-1112	instance Process and Fermentation patient Process and JuiceOfFn FruitOrVegetable instance FruitOrVegetable and WineGrape result Process and Entity instance Entity and Wine
(=> (and (instance ?FACILITY NuclearWeaponProductionFacility) (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (eventLocated ?DEVELOP ?FACILITY) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON NuclearWeapon))	WMD.kif 654-660	instance Entity and NuclearWeaponProductionFacility instance Process and DevelopingWeaponOfMassDestruction eventLocated Process and Entity result Process and Entity instance Entity and NuclearWeapon
(=> (and (instance ?G Choreographing) (result ?G ?P) (realization ?D ?P)) (instance ?D Dancing))	Mid-level-ontology.kif 15472-15477	instance Process and Choreographing result Process and Proposition realization Process and Proposition instance Process and Dancing
(=> (and (instance ?H Harvesting) (result ?H ?C)) (or (instance ?C PlantAnatomicalStructure) (instance ?C PlantSubstance)))	Mid-level-ontology.kif 17471-17477	instance Process and Harvesting result Process and Entity instance Entity and PlantAnatomicalStructure instance Entity and PlantSubstance
(=> (and (instance ?HELPING Helping) (agent ?HELPING ?AGENT) (result ?HELPING ?RESULT)) (exists (?PATIENT) (and (not (equal ?AGENT ?PATIENT)) (or (patient ?HELPING ?PATIENT) (experiencer ?HELPING ?PATIENT)) (wants ?PATIENT ?RESULT))))	MilitaryProcesses.kif 1419-1431	instance Process and Helping agent Process and Agent result Process and Physical CognitiveAgent equal Agent and CognitiveAgent patient Process and CognitiveAgent experiencer Process and CognitiveAgent wants CognitiveAgent and Physical
(=> (and (instance ?IC IgnitionCoil) (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC) (measure ?E1 (MeasureFn ?N1 Volt))) (approximateValue ?N1 12))	Cars.kif 3155-3165	instance Object and IgnitionCoil instance Process and ElectricTransmission resource Process and Object instance Object and Electricity instance Entity and Electricity result Process and Entity instrument Process and Object measure Object and MeasureFn RealNumber and Volt approximateValue RealNumber and 12
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure))	Mid-level-ontology.kif 2837-2843	instance Process and Measuring result Process and Entity instrument Process and Object instance Object and Clock instance Entity and TimeMeasure
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure))	Mid-level-ontology.kif 2873-2879	instance Process and Measuring result Process and Entity instrument Process and Object instance Object and Thermometer instance Entity and TemperatureMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS))))	Mid-level-ontology.kif 6147-6157	instance Entity and ConjugatedSubstance Object Object and Process instance Object and CompoundSubstance instance Object and CompoundSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity
(<=> (yearOfFounding ?O ?Y) (exists (?F) (and (overlapsTemporally ?F (YearFn ?Y)) (instance ?F Founding) (result ?F ?O))))	Mid-level-ontology.kif 926-932	yearOfFounding Organization and Integer TimeInterval overlapsTemporally TimeInterval and YearFn Integer instance TimeInterval and Founding result TimeInterval and Organization
(=> (actedIn ?ACTOR ?O) (exists (?PERF) (and (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O))))	Mid-level-ontology.kif 20069-20075	actedIn Human and ContentBearingPhysical Process instance Process and DramaticActing patient Process and Human result Process and ContentBearingPhysical
(=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC))))))	Communications.kif 202-214	destination Process and Object instance Process and Messaging patient Process and Entity instance Object and Telex Process Entity instrument Process and Object result Process and Entity represents Entity and Entity instance Entity and Text before BeginFn WhenFn Process and BeginFn WhenFn Process
(=> (and (instance ?CA ChemicalAcid) (instance ?CB ChemicalBase) (instance ?C ChemicalProcess) (patient ?C ?CA) (patient ?C ?CB)) (exists (?CS) (and (instance ?CS ChemicalSalt) (result ?C ?CS))))	Mid-level-ontology.kif 8329-8339	instance Entity and ChemicalAcid instance Entity and ChemicalBase instance Process and ChemicalProcess patient Process and Entity patient Process and Entity ProcessS instance ProcessS and ChemicalSalt result Process and ProcessS
(=> (and (instance ?COLOR SecondaryColor) (attribute ?OBJ ?COLOR)) (exists (?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2) (and (result ?PROCESS ?OBJ) (resource ?PROCESS ?RESOURCE1) (resource ?PROCESS ?RESOURCE2) (attribute ?RESOURCE1 ?PRIMARY1) (attribute ?RESOURCE2 ?PRIMARY2) (instance ?PRIMARY1 PrimaryColor) (instance ?PRIMARY2 PrimaryColor) (not (equal ?PRIMARY1 ?PRIMARY2)))))	Mid-level-ontology.kif 18730-18743	instance Attribute and SecondaryColor attribute Object and Attribute Process Object, Object, Attribute and Attribute result Process and Object resource Process and Object resource Process and Object attribute Object and Attribute attribute Object and Attribute instance Attribute and PrimaryColor instance Attribute and PrimaryColor equal Attribute and Attribute
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG))))))	Merge.kif 10130-10145	instance Process and Death instance Agent and Organism experiencer Process and Agent Entity result Process and Entity instance Entity and OrganicObject holdsDuring FutureFn WhenFn Process and attribute Entity and Dead holdsDuring ImmediateFutureFn WhenFn Process and part entity and Entity holdsDuring ImmediatePastFn WhenFn Process and part entity and Agent
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (experiencer ?DEATH ?ORG)) (result ?DEATH ?REM))	Mid-level-ontology.kif 83-92	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval experiencer Process and Agent result Process and Entity
(=> (and (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (patient ?DISMANTLE ?WEAPON)) (exists (?DEVELOP) (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON) (earlier (WhenFn ?DEVELOP) (WhenFn ?DISMANTLE)))))	WMD.kif 750-758	instance Process and DismantlingWeaponOfMassDestruction patient Process and Entity Process instance Process and DevelopingWeaponOfMassDestruction result Process and Entity earlier WhenFn Process and WhenFn Process
(=> (and (instance ?ORG Organization) (attribute ?ORG ?INDUSTRY) (industryProductType ?INDUSTRY ?TYPE)) (exists (?EVENT ?ITEM) (and (instance ?EVENT Making) (instance ?ITEM ?TYPE) (agent ?EVENT ?ORG) (result ?EVENT ?ITEM))))	Economy.kif 1618-1628	instance Agent and Organization attribute Agent and IndustryAttribute industryProductType IndustryAttribute and Object Process Entity instance Process and Making instance Entity and Object agent Process and Agent result Process and Entity
(=> (and (instance ?PAGE ViewItemPage) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (patient ?ADVERTISING ?ITEM) (instance ?ITEM Physical)) (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?ITEM) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?PAGE))))	UXExperimentalTerms.kif 2287-2300	instance CorpuscularObject and ViewItemPage instance Process and WebListing component Process and CorpuscularObject patient Process and Entity instance Entity and Physical Process Process and ProcessCONTENT instance Process and Stating patient Process and Process refers Process and Entity result Process and ProcessCONTENT part ProcessCONTENT and CorpuscularObject
(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))	Merge.kif 16520-16528	instance Proposition and Plan instance ContentBearingPhysical and ContentBearingObject containsInformation ContentBearingPhysical and Proposition PropositionNING instance PropositionNING and Planning result PropositionNING and ContentBearingPhysical
(=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC))))))	Military.kif 32-44	instance Proposition and Plan instance Physical and Process represents Proposition and Physical PropositionNING ContentBearingPhysical instance PropositionNING and Planning instance ContentBearingPhysical and ContentBearingPhysical containsInformation ContentBearingPhysical and Proposition result PropositionNING and ContentBearingPhysical earlier BeginFn WhenFn PropositionNING and BeginFn WhenFn Physical earlier EndFn WhenFn PropositionNING and EndFn WhenFn Physical
(=> (and (instance ?PSYOP PsychologicalOperation) (agent ?PSYOP ?AGENT) (patient ?PSYOP ?TARGET)) (hasPurpose ?PSYOP (exists (?PROCESS ?RESULT) (and (agent ?PROCESS ?TARGET) (result ?PROCESS ?RESULT) (desires ?AGENT ?RESULT)))))	MilitaryProcesses.kif 1184-1194	instance Process and PsychologicalOperation agent Process and Agent patient Process and Entity hasPurpose Process and entity entity agent entity and Entity result entity and entity desires Agent and entity
(=> (and (instance ?X SurveillanceSystem) (member ?X ?VIDEO) (member ?X ?DISPLAY) (located ?VIDEO ?LOC1) (instance ?VIDEO Camera) (located ?DISPLAY ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?DISPLAY VideoDisplay)) (hasPurpose ?X (exists (?PROC ?VID ?RL ?CAPTURE) (and (instance ?PROC Process) (eventLocated ?PROC ?LOC1) (represents ?VID ?PROC) (instrument ?CAPTURE Camera) (result ?CAPTURE ?VID) (instance ?RL RadiatingLight) (instrument ?RL ?DISPLAY) (patient ?RL ?VID) (before (BeginFn ?PROC) (BeginFn ?CAPTURE)) (before (BeginFn ?CAPTURE) (BeginFn ?RL))))))	Mid-level-ontology.kif 26343-26369	instance Physical and SurveillanceSystem member Physical and Collection member Physical and Collection located Collection and Object instance Collection and Camera located Collection and Object equal Object and Object instance Collection and VideoDisplay hasPurpose Physical and entity entity, entity and entity instance entity and Process eventLocated entity and Object represents entity and entity instrument entity and Camera result entity and entity instance entity and RadiatingLight instrument entity and Collection patient entity and entity before BeginFn entity and BeginFn entity before BeginFn entity and BeginFn entity
(=> (and (measuringResult ?MLIST ?RLIST) (equal ?M (ListOrderFn ?MLIST ?N)) (equal ?R (ListOrderFn ?RLIST ?N))) (result ?M ?R))	Weather.kif 1805-1810	measuringResult MeasuringList and MeasuringResultList equal Process and ListOrderFn MeasuringList and PositiveInteger equal Entity and ListOrderFn MeasuringResultList and PositiveInteger result Process and Entity
(=> (and (subclass ?PAPER Newspaper) (instance ?WEEK Week)) (exists (?PUBLICATION ?ISSUE) (and (instance ?PUBLICATION Publication) (temporalPart (WhenFn ?PUBLICATION) ?WEEK) (result ?PUBLICATION ?ISSUE) (instance ?ISSUE ?PAPER))))	Mid-level-ontology.kif 14253-14262	subclass Class and Newspaper instance TimePosition and Week Process Entity instance Process and Publication temporalPart WhenFn Process and TimePosition result Process and Entity instance Entity and Class
(=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR FoodRating) (instance ?ENTITY Agent)) (exists (?FOOD ?COOK ?CLASSIFY) (and (instance ?COOK Cooking) (agent ?COOK ?ENTITY) (result ?COOK ?FOOD) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?FOOD) (patient ?CLASSIFY ?ATTR))))	Hotel.kif 3025-3038	subjectiveAttribute Agent, Attribute and Agent instance Attribute and FoodRating instance Agent and Agent Entity Process and Process instance Process and Cooking agent Process and Agent result Process and Entity instance Process and Classifying agent Process and Agent destination Process and Entity patient Process and Attribute
(=> (attribute ?FOOD CookedAttribute) (exists (?PROC) (and (instance ?PROC Cooking) (result ?PROC ?FOOD))))	Mid-level-ontology.kif 20901-20906	attribute Object and CookedAttribute Process instance Process and Cooking result Process and Object
(=> (attribute ?FOOD CookedAttribute) (exists (?PROC) (and (instance ?PROC Heating) (result ?PROC ?FOOD))))	Food.kif 22-27	attribute Object and CookedAttribute Process instance Process and Heating result Process and Object
(=> (attribute ?FOOD RawAttribute) (not (exists (?PROC) (and (instance ?PROC Cooking) (result ?PROC ?FOOD)))))	Mid-level-ontology.kif 20917-20923	attribute Object and RawAttribute Process instance Process and Cooking result Process and Object
(=> (attribute ?FOOD RawAttribute) (not (exists (?PROC) (and (instance ?PROC Heating) (result ?PROC ?FOOD)))))	Food.kif 38-44	attribute Object and RawAttribute Process instance Process and Heating result Process and Object
(=> (attribute ?H Potter) (exists (?M ?P) (and (instance ?P Pottery) (instance ?M Making) (agent ?M ?H) (result ?M ?P))))	Mid-level-ontology.kif 20184-20191	attribute Agent and Potter Process Entity instance Entity and Pottery instance Process and Making agent Process and Agent result Process and Entity
(=> (attribute ?ROOM ThemeRoom) (exists (?DESIGN ?PROP) (and (instance ?DESIGN Designing) (result ?DESIGN ?PROP) (represents ?ROOM ?PROP))))	Hotel.kif 1066-1072	attribute Object and ThemeRoom Process Entity instance Process and Designing result Process and Entity represents Object and Entity
(=> (attribute ?X AeronauticalEngineer) (exists (?SKILL) (and (hasSkill ?SKILL ?X) (forall (?P) (=> (instance ?P ?SKILL) (or (exists (?CONS ?OBJ ?PT) (and (instance ?CONS Making) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?CONS ?OBJ) (subProcess ?P ?CONS))) (exists (?DESIGN ?PLAN ?OBJ ?PT) (and (instance ?DESIGN Designing) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?DESIGN ?PLAN) (represents ?PLAN ?OBJ) (subProcess ?P ?DESIGN)))))))))	Biography.kif 203-232	attribute Agent and AeronauticalEngineer Process hasSkill Process and Agent Process instance Process and Process Process Entity and ProcessT instance Process and Making instance Entity and Aircraft instance Entity and ProcessT typicalPart ProcessT and Aircraft result Process and Entity subProcess Process and Process Process ProcessLAN, Entity and ProcessT instance Process and Designing instance Entity and Aircraft instance Entity and ProcessT typicalPart ProcessT and Aircraft result Process and ProcessLAN represents ProcessLAN and Entity subProcess Process and Process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: