Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WebStore
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Telegraph ElectricDevice) | Mid-level-ontology.kif 2388-2388 | Telegraph is a subclass of electric device |
| (subclass Telegraph CommunicationDevice) | Mid-level-ontology.kif 2389-2389 | Telegraph is a subclass of communication device |
| (documentation Telegraph EnglishLanguage "A Device that permits LinguisticCommunication between remote points by means of a code of aural dots and dashes that can be converted into letters of an alphabet.") | Mid-level-ontology.kif 2390-2392 | Telegraph is a subclass of communication device |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?TL TelephoneLine) (exists (?T1 ?T2) (and (or (instance ?T1 Telephone) (instance ?T1 Telegraph)) (or (instance ?T2 Telephone) (instance ?T2 Telegraph)) (not (equal ?T1 ?T2)) (connects ?TL ?T1 ?T2)))) |
Mid-level-ontology.kif 4283-4294 | If X is an instance of telephone line, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of telephone, Y is an instance of telegraph (3) Z is an instance of telephone, or Z is an instance of telegraph (4) equal Y (5) Z (6) X connects Y (7) Z |
|