|
| (=> (instance ?P Portrait) (exists (?F) (and (instance ?F Face) (represents ?P ?F)))) |
Mid-level-ontology.kif 3593-3598 | |
| (=> (instance ?P ThreeDPrinting) (exists (?X ?A) (and (instance ?X DigitalData) (represents ?X ?A) (instance ?A Artifact) (result ?P ?A)))) |
QoSontology.kif 505-512 | |
| (=> (instance ?PLAN Blueprint) (hasPurpose ?PLAN (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (represents ?PLAN ?ARTIFACT))))) |
Mid-level-ontology.kif 14572-14578 | |
| (=> (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 1211-1225 | |
| (=> (instance ?RA RepresentationalArtWork) (exists (?P) (and (instance ?P Physical) (represents ?RA ?P)))) |
Merge.kif 16022-16027 | |
| (=> (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 1980-1998 | |
| (=> (instance ?State ProcessState) (exists (?Program) (and (instance ?Program ComputerProgram) (forall (?Process) (=> (programRunning ?Process ?Program) (represents ?State ?Process)))))) |
QoSontology.kif 670-678 | |
| (=> (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 246-254 | |
| (=> (instance ?TEXT DeathCertificate) (hasPurpose ?TEXT (exists (?D ?A) (and (instance ?D Death) (instance ?A Human) (experiencer ?D ?A) (represents ?TEXT ?D))))) |
Biography.kif 277-285 | |
| (=> (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 327-343 | |
| (=> (instance ?TH ToyHouse) (exists (?H) (and (instance ?H House) (represents ?TH ?H)))) |
Mid-level-ontology.kif 2894-2899 | |
| (=> (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 1826-1831 | |
| (=> (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 1389-1409 | |
| (=> (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 15677-15683 | |
| (=> (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 1277-1303 | |
| (=> (instance ?X UniformClothing) (exists (?PROC ?DESIGN) (and (instance ?PROC IntentionalProcess) (result ?PROC ?DESIGN) (represents ?X ?DESIGN)))) |
Mid-level-ontology.kif 28594-28600 | |
| (=> (instance ?X VideoRecording) (exists (?EV) (and (instance ?EV Process) (represents ?X ?EV) (capability RadiatingLight patient ?X)))) |
Mid-level-ontology.kif 15804-15810 | |
| (=> (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 1459-1472 | |
| 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