earlier |
appearance as argument number 1 |
(documentation earlier ChineseLanguage "(earlier ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 在 TimeInterval ?INTERVAL2 开始前结束。") | chinese_format.kif 2724-2725 | |
(documentation earlier EnglishLanguage "(earlier ?INTERVAL1 ?INTERVAL2) means that the TimeInterval ?INTERVAL1 ends before the TimeInterval ?INTERVAL2 begins.") | Merge.kif 8374-8376 | |
(documentation earlier JapaneseLanguage "(earlier ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL2 が開始される前に TimeInterval ?INTERVAL1 が終了することを意味する。") | japanese_format.kif 1449-1450 | |
(domain earlier 1 TimeInterval) | Merge.kif 8371-8371 | O argumento numero 1 de earlier e' uma instancia de Intervalo Temporal |
(domain earlier 2 TimeInterval) | Merge.kif 8372-8372 | O argumento numero 2 de earlier e' uma instancia de Intervalo Temporal |
(instance earlier BinaryPredicate) | Merge.kif 8366-8366 | earlier e' uma instancia de Predicado Binario |
(instance earlier IrreflexiveRelation) | Merge.kif 8369-8369 | earlier e' uma instancia de Relacao Irreflexiva |
(instance earlier TemporalRelation) | Merge.kif 8367-8367 | earlier e' uma instancia de Relacao Temporal |
(instance earlier TotalValuedRelation) | Merge.kif 8370-8370 | earlier e' uma instancia de Relacao Total |
(instance earlier TransitiveRelation) | Merge.kif 8368-8368 | earlier e' uma instancia de Relacao Transitiva |
appearance as argument number 2 |
(format ChineseLanguage earlier "%1 %n{doesn't} 比%2发生的earlier") | chinese_format.kif 437-437 | |
(format EnglishLanguage earlier "%1 %n{doesn't} happen%p{s} earlier than %2") | english_format.kif 443-443 | |
(format FrenchLanguage earlier "%1 %n{n'} arrive %n{pas} plus t�t que %2") | french_format.kif 253-253 | |
(format ItalianLanguage earlier "%1 %n{non} accade%p{s} prima di %2") | relations-it.txt 87-87 | |
(format JapaneseLanguage earlier "%1 は %2 より earlier happen%p{s} %n{ない}") | japanese_format.kif 2047-2047 | |
(format PortugueseLanguage earlier "%1 %n{nao} acontence %n antes de %2") | portuguese_format.kif 205-205 | |
(format cz earlier "%1 %n{doesn't} happen%p{s} earlier than %2") | relations-cz.txt 259-259 | |
(format de earlier "%1 geschieht frueh als %2 %n{nicht}") | relations-de.txt 571-571 | |
(format hi earlier "%1 %2 ke puurva ghaTita %n{nahiin} hotaa hai") | relations-hindi.txt 127-127 | |
(format ro earlier "%1 %n{nu} se întâmplã earlier%t{mai devreme} decât %2") | relations-ro.kif 274-274 | |
(format sv earlier "%1 sker %n{inte} tidigare än %2") | relations-sv.txt 277-277 | |
(format tg earlier "%1 %n{hindi} ay kanina sa %2") | relations-tg.txt 189-189 | |
(relatedInternalConcept before earlier) | Merge.kif 8100-8100 | before e' relacionado internamente por SUMO a earlier |
(termFormat ChineseLanguage earlier "早期") | domainEnglishFormat.kif 20790-20790 | |
(termFormat ChineseLanguage earlier "更早") | chinese_format.kif 438-438 | |
(termFormat ChineseTraditionalLanguage earlier "早期") | domainEnglishFormat.kif 20789-20789 | |
(termFormat EnglishLanguage earlier "earlier") | domainEnglishFormat.kif 20788-20788 | |
(termFormat tg earlier "kanina") | relations-tg.txt 190-190 |
antecedent |
consequent |
statement |
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 18202-18219 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ |