|
|
   CourtRoom
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CourtRoom EnglishLanguage "Any Room whose purpose is to realize JudicialProcesses.") | Mid-level-ontology.kif 16172-16173 | |
| (externalImage CourtRoom "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Levoca_Spis_museum_court_room.jpg") | pictureList.kif 4965-4965 | |
| (externalImage CourtRoom "http://upload.wikimedia.org/wikipedia/commons/ d/ d6/ Historic_Courtroom.JPG") | pictureList.kif 4634-4634 | |
| (subclass CourtRoom Room) | Mid-level-ontology.kif 16171-16171 | CourtRoom ist eine teilkategorie von Room |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CourtRoom "法庭室") | domainEnglishFormat.kif 17640-17640 | |
| (termFormat ChineseTraditionalLanguage CourtRoom "法庭室") | domainEnglishFormat.kif 17639-17639 | |
| (termFormat EnglishLanguage CourtRoom "court room") | domainEnglishFormat.kif 17638-17638 |
| consequent |
|
|
| (=> (and (instance ?S LegalSummons) (patient ?S ?O) (destination ?S ?P)) (exists (?C ?T) (and (instance ?C CourtRoom) (containsInformation ?O (modalAttribute (holdsDuring ?T (located ?P ?C)) Law))))) |
Mid-level-ontology.kif 16226-16238 |
|
| (=> (instance ?PROCESS JudicialProcess) (exists (?ROOM) (and (instance ?ROOM CourtRoom) (eventLocated ?PROCESS ?ROOM)))) |
Mid-level-ontology.kif 16175-16180 |
|
|
|
|
