Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  codeMapping
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Encoding Writing) | Merge.kif 12993-12993 | Encoding is a subclass of writing |
| (documentation Encoding EnglishLanguage "Converting a document or message into a formal language or into a code that can be understood only by a relatively small body of Agents. Generally speaking, this hinders wide dissemination of the content in the original document or message.") | Merge.kif 12994-12997 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") | pictureList.kif 10943-10943 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") | pictureList.kif 10945-10945 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Sicherheitsetikett_1.jpg") | pictureList.kif 10947-10947 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ Huffmanpasso1.png") | pictureList.kif 10948-10948 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Huffmanpasso2.png") | pictureList.kif 10949-10949 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Huffmanpasso3.png") | pictureList.kif 10950-10950 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Huffmanpasso4.png") | pictureList.kif 10951-10951 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ Huffmanpasso5.png") | pictureList.kif 10952-10952 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/2/ 20/ Huffmanpasso6.png") | pictureList.kif 10953-10953 | Encoding is a subclass of writing |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Adaptive_huffman.png") | pictureList.kif 10954-10954 | Encoding is a subclass of writing |
| appearance as argument number 2 |
|
|
| (disjoint Decoding Encoding) | Merge.kif 13000-13000 | Decoding is disjoint from encoding |
| (termFormat EnglishLanguage Encoding "encoding") | english_format.kif 1581-1581 | Decoding is disjoint from encoding |
| antecedent |
|
|
| (=> (and (instance ?P Encoding) (agent ?P ?A)) (exists (?CODE) (or (knows ?A ?CODE) (exists (?OBJ) (and (instrument ?P ?OBJ) (containsFormula ?OBJ ?CODE)))))) |
QoSontology.kif 2293-2303 | If X is an instance of encoding and Y is an agent of X, then there exists Z such that Y knows Z or there exists W such that W is an instrument for X and W contains the formula Z |
| consequent |
|
|
| (=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2 ?TIME ?PROP) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (holdsDuring ?TIME (and (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2)))))) |
Merge.kif 13005-13018 | If X is an instance of decoding and Y is a patient of X, then there exist Z, W,, , V, U such that W contains information U, Y contains information U, V is a part of before the time of existence of X, Z is an instance of encoding, and W is a patient of Z holds during V |
| (=> (and (cardCode ?Code ?Card) (cardAccount ?Card ?Account)) (exists (?Encoding) (and (instance ?Encoding Encoding) (patient ?Encoding ?Account)))) |
FinancialOntology.kif 3562-3569 | If X is a card code of Y and Z is a card account of X, then there exists W such that W is an instance of encoding and Z is a patient of W |
|
