(=>
(instance ?P Portrait)
(exists (?F)
(and
(instance ?F Face)
(represents ?P ?F)))) |
Mid-level-ontology.kif 3150-3155 |
|
(=>
(instance ?PLAN Blueprint)
(hasPurpose ?PLAN
(exists (?ARTIFACT)
(and
(instance ?ARTIFACT Artifact)
(represents ?PLAN ?ARTIFACT))))) |
Mid-level-ontology.kif 13233-13239 |
|
(=>
(instance ?PLAN OPLAN)
(exists (?OP)
(and
(represents ?PLAN ?OP)
(instance ?OP JointOperation)))) |
MilitaryProcesses.kif 1821-1826 |
|
(=>
(instance ?PLAYER AudioCDSystem)
(hasPurpose ?PLAYER
(exists (?DISC ?AUDIO ?RS ?DIGITAL ?PROC)
(and
(instrument ?PROC ?PLAYER)
(patient ?PROC ?DISC)
(instance ?DISC CompactDisc)
(instance ?AUDIO AudioRecording)
(represents ?DIGITAL ?AUDIO)
(part ?DIGITAL ?DISC)
(instance ?RS RadiatingSound)
(subProcess ?RS ?PROC)
(instrument ?RS ?PLAYER)
(patient ?RS ?DISC))))) |
Media.kif 1209-1223 |
|
(=>
(instance ?RA RepresentationalArtWork)
(exists (?P)
(and
(instance ?P Physical)
(represents ?RA ?P)))) |
Merge.kif 15872-15877 |
|
(=>
(instance ?S Screenshot)
(exists (?T ?I ?CD)
(and
(holdsDuring ?T
(displayedUpon ?I ?CD))
(represents ?I ?S)))) |
ComputerInput.kif 1607-1613 |
|
(=>
(instance ?SA SearchAttempt)
(exists (?QUERY)
(and
(instance ?QUERY SearchQuery)
(represents ?QUERY ?SA)))) |
UXExperimentalTerms.kif 2349-2354 |
|
(=>
(instance ?SIG_ACTION UserSignifiedAction)
(exists (?DIR_ACTION)
(and
(represents ?DIR_ACTION ?SIG_ACTION)
(instance ?DIR_ACTION UserDirectAction)))) |
ComputerInput.kif 1217-1222 |
|
(=>
(instance ?SVC RoomService)
(exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
(and
(customer ?CUSTOMER ?AGENT)
(agent ?SVC ?AGENT)
(instance ?RQST Requesting)
(agent ?RQST ?CUSTOMER)
(patient ?RQST ?ORDER)
(represents ?ORDER ?FOOD)
(instance ?FOOD PreparedFood)
(located ?CUSTOMER ?LOC)
(instance ?LOC HotelUnit)
(instance ?DELIVERY DeliveryService)
(patient ?DELIVERY ?FOOD)
(destination ?DELIVERY ?LOC)
(before
(BeginFn
(WhenFn ?RQST))
(BeginFn
(WhenFn ?DELIVERY)))))) |
Hotel.kif 1969-1987 |
- If a process is an instance of room service,
- then there exist an agent, an entity,, , a cognitive agent,, , another process,, , another entity,, , a third process and an object such that the agent is a customer of the cognitive agent and the agent is an agent of the process and the other process is an instance of requesting and the cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of prepared food and the cognitive agent is located at the object and the object is an instance of hotel unit and the third process is an instance of delivery service and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
|
(=>
(instance ?State ProcessState)
(exists (?Program)
(and
(instance ?Program ComputerProgram)
(forall (?Process)
(=>
(programRunning ?Process ?Program)
(represents ?State ?Process)))))) |
QoSontology.kif 562-570 |
|
(=>
(instance ?TERM SearchTerm)
(exists (?QUERY ?PART)
(and
(instance ?QUERY SearchQuery)
(part ?PART ?QUERY)
(represents ?PART ?TERM)))) |
UXExperimentalTerms.kif 2511-2517 |
|
(=>
(instance ?TEXT BirthCertificate)
(hasPurpose ?TEXT
(exists (?B ?A)
(and
(instance ?B Birth)
(instance ?A Human)
(experiencer ?B ?A)
(represents ?TEXT ?B))))) |
Biography.kif 240-248 |
|
(=>
(instance ?TEXT DeathCertificate)
(hasPurpose ?TEXT
(exists (?D ?A)
(and
(instance ?D Death)
(instance ?A Human)
(experiencer ?D ?A)
(represents ?TEXT ?D))))) |
Biography.kif 270-278 |
|
(=>
(instance ?TEXT MarriageCertificate)
(exists (?S ?W ?A ?B)
(and
(instance ?S SigningAnAgreement)
(patient ?S ?TEXT)
(instance ?W Wedding)
(represents ?TEXT ?W)
(subProcess ?S ?W)
(patient ?W ?A)
(instance ?A Human)
(patient ?W ?B)
(instance ?B Human)
(not
(equal ?A ?B))
(agent ?S ?A)
(agent ?S ?B)))) |
Biography.kif 319-335 |
|
(=>
(instance ?TH ToyHouse)
(exists (?H)
(and
(instance ?H House)
(represents ?TH ?H)))) |
Mid-level-ontology.kif 2431-2436 |
|
(=>
(instance ?TPS TestProtocolSpecification)
(exists (?PLAN ?EXPERIMENT ?PROC)
(and
(instance ?PLAN Plan)
(instance ?EXPERIMENT Experimenting)
(instance ?PROC Process)
(represents ?PLAN ?PROC)
(subProcess ?EXPERIMENT ?PROC)
(containsInformation ?TPS ?PLAN)))) |
UXExperimentalTerms.kif 2754-2763 |
|
(=>
(instance ?URL UniformResourceLocator)
(exists (?Address)
(and
(instance ?Address IPAddress)
(represents ?URL ?Address)))) |
QoSontology.kif 1695-1700 |
|
(=>
(instance ?VCR VCRSystem)
(hasPurpose ?VCR
(exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)
(and
(instance ?VHS VHSCassette)
(instrument ?PROC ?VCR)
(patient ?PROC ?VHS)
(instance ?VIDEO VideoRecording)
(represents ?AVIDEO ?VIDEO)
(part ?VIDEO ?VHS)
(instance ?AUDIO AudioRecording)
(represents ?AAUDIO ?AUDIO)
(part ?AAUDIO ?AVIDEO)
(part ?AUDIO ?VHS)
(instance ?RL RadiatingLight)
(patient ?RL ?VIDEO)
(subProcess ?RL ?PROC)
(instance ?RS RadiatingSound)
(patient ?RS ?AUDIO)
(subProcess ?RS ?PROC))))) |
Media.kif 1387-1407 |
- If a physical is an instance of vcr system,
- then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the entity is an instance of VHS cassette and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is an instance of video recording and the fourth entity expresses the third entity and the third entity is a part of the entity and the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the fourth entity and the sixth entity is a part of the entity and the fifth entity is an instance of radiating light and the third entity is a patient of the fifth entity and the fifth entity is a subprocess of the other entity and the eighth entity is an instance of radiating sound and the sixth entity is a patient of the eighth entity and the eighth entity is a subprocess of the other entity
|
(=>
(instance ?VIEW View)
(exists (?ENTITY)
(and
(instance ?ENTITY Physical)
(represents ?VIEW ?ENTITY)))) |
Dining.kif 943-948 |
|
(=>
(instance ?X AudioRecording)
(exists (?EV)
(and
(instance ?EV RadiatingSound)
(represents ?X ?EV)
(capability RadiatingSound patient ?X)))) |
Mid-level-ontology.kif 14306-14312 |
|
(=>
(instance ?X DVDSystem)
(hasPurpose ?X
(exists (?DVD ?PROC)
(and
(instance ?DVD DVD)
(instrument ?PROC ?X)
(patient ?PROC ?DVD)
(or
(exists (?VIDEO ?DVIDEO ?RL)
(and
(instance ?VIDEO VideoRecording)
(represents ?DVIDEO ?VIDEO)
(part ?DVIDEO ?DVD)
(instance ?RL RadiatingLight)
(subProcess ?RL ?PROC)
(instrument ?RL ?X)
(patient ?RL ?VIDEO)))
(exists (?AUDIO ?DAUDIO ?RS)
(and
(instance ?AUDIO AudioRecording)
(represents ?DAUDIO ?AUDIO)
(part ?DAUDIO ?DVD)
(instance ?RS RadiatingSound)
(subProcess ?RS ?PROC)
(instrument ?RS ?X)
(patient ?RS ?AUDIO)))))))) |
Media.kif 1275-1301 |
|
(=>
(instance ?X UniformClothing)
(exists (?PROC ?DESIGN)
(and
(instance ?PROC IntentionalProcess)
(result ?PROC ?DESIGN)
(represents ?X ?DESIGN)))) |
Mid-level-ontology.kif 26695-26701 |
|
(=>
(instance ?X VideoRecording)
(exists (?EV)
(and
(instance ?EV Process)
(represents ?X ?EV)
(capability RadiatingLight patient ?X)))) |
Mid-level-ontology.kif 14433-14439 |
|
(=>
(originalExpressedInLanguage ?PROP ?LANG)
(exists (?PHYS ?TIME)
(and
(instance ?PHYS LinguisticExpression)
(representsInLanguage ?PHYS ?PROP ?LANG)
(equal ?TIME
(WhenFn ?PHYS))
(not
(exists (?BEFORE ?OTHER)
(and
(instance ?OTHER LinguisticExpression)
(represents ?OTHER ?PROP)
(equal ?BEFORE
(WhenFn ?OTHER))
(before ?BEFORE ?TIME))))))) |
Music.kif 1457-1470 |
|
(=>
(registeredUser ?USER ?WEBSITE)
(exists (?DATABASE ?PART)
(and
(userDatabase ?DATABASE ?WEBSITE)
(part ?PART ?DATABASE)
(represents ?PART ?USER)))) |
UXExperimentalTerms.kif 865-871 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |