Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Cable EngineeringConnection) | Hotel.kif 1409-1409 | Cable is a subclass of engineering connection |
| (documentation Cable EnglishLanguage "Cable refers to an EngineeringConnection made of WireLine") | Hotel.kif 1410-1411 | Cable is a subclass of engineering connection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cable "cable") | Hotel.kif 1412-1412 |
| antecedent |
|
|
| (=> (and (instance ?CC ComputerCable) (not (instance ?C Cable)) (part ?C ?CC)) (or (instance ?C MaleConnector) (instance ?C FemaleConnector))) |
ComputingBrands.kif 2657-2665 | If X is an instance of cable, Y is not an instance of cable, and Y is a part of X, then Y is an instance of 公 or Y is an instance of female |
| (=> (instance ?C Cable) (exists (?WIRE) (and (instance ?WIRE WireLine) (part ?WIRE ?C)))) |
Hotel.kif 1414-1419 | If X is an instance of cable, then there exists Y such that Y is an instance of wire line and Y is a part of X |
| consequent |
|
|
| (=> (and (instance ?MODEM CableModem) (instance ?COMM Communication) (instrument ?COMM ?MODEM)) (exists (?CABLE) (and (instance ?CABLE Cable) (instrument ?COMM ?CABLE) (connectedEngineeringComponents ?CABLE ?MODEM)))) |
ComputerInput.kif 593-602 | If X is an instance of cable modem, Y is an instance of communication, and X is an instrument for Y, then there exists Z such that Z is an instance of cable, Z is an instrument for Y, and Z is connected to X |
| (=> (and (instance ?CONN WirelessNetwork) (instance ?COM NetworkCommunication) (instrument ?COM ?CONN) (path ?COM ?PATH)) (exists (?PART) (and (part ?PART ?PATH) (not (instance ?PART Cable))))) |
ComputingBrands.kif 1422-1432 | If X is an instance of wireless network, Y is an instance of network communication, X is an instrument for Y, and Z is path along which Y occurs, then there exists W such that W is a part of Z and W is not an instance of cable |
| (=> (instance ?CC ComputerCable) (exists (?C) (and (instance ?C Cable) (part ?C ?CC)))) |
ComputingBrands.kif 2639-2644 | If X is an instance of cable, then there exists Y such that Y is an instance of cable and Y is a part of X |
| (=> (instance ?CONN WiredInternetConnection) (exists (?CABLE) (and (part ?CABLE ?CONN) (instance ?CABLE Cable)))) |
Hotel.kif 1426-1431 | If X is an instance of internet, then there exists Y such that Y is a part of X and Y is an instance of cable |
| (=> (instance ?CONN WirelessInternetConnection) (not (exists (?CABLE) (and (part ?CABLE ?CONN) (instance ?CABLE Cable))))) |
Hotel.kif 1439-1445 | If X is an instance of wireless internet, then there doesn't exist Y such that Y is a part of X and Y is an instance of cable |
|