Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  TropicOfCancer
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CourtRoom Room) | Mid-level-ontology.kif 17805-17805 | Court room is a subclass of room |
| (documentation CourtRoom EnglishLanguage "Any Room whose purpose is to realize JudicialProcesses.") | Mid-level-ontology.kif 17806-17807 | Court room is a subclass of room |
| (externalImage CourtRoom "http://upload.wikimedia.org/wikipedia/commons/ d/ d6/ Historic_Courtroom.JPG") | pictureList.kif 4633-4633 | Court room is a subclass of room |
| (externalImage CourtRoom "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Levoca_Spis_museum_court_room.jpg") | pictureList.kif 4964-4964 | Court room is a subclass of room |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?PROCESS JudicialProcess) (exists (?ROOM) (and (instance ?ROOM CourtRoom) (eventLocated ?PROCESS ?ROOM)))) |
Mid-level-ontology.kif 17809-17814 | If X is an instance of judicial process, then there exists Y such that Y is an instance of court room and X is located at Y |
| (=> (and (instance ?S LegalSummons) (patient ?S ?O) (destination ?S ?P)) (exists (?C ?T) (and (instance ?C CourtRoom) (containsFormula ?S (modalAttribute (holdsDuring ?T (located ?O ?C)) Law))))) |
Mid-level-ontology.kif 17860-17872 | If X is an instance of legal summons, Y is a patient of X, and X ends up at Z, then there exist W, V such that W is an instance of court room, and X contains the formula the statement Y is located at W holds during V has the modal force of law |
|
