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 8472-8474 | |
(documentation earlier JapaneseLanguage "(earlier ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL2 が開始される前に TimeInterval ?INTERVAL1 が終了することを意味する。") | japanese_format.kif 1449-1450 | |
(domain earlier 1 TimeInterval) | Merge.kif 8469-8469 | Le nombre 1 argument de earlier est une instance de interval temporel |
(domain earlier 2 TimeInterval) | Merge.kif 8470-8470 | Le nombre 2 argument de earlier est une instance de interval temporel |
(instance earlier BinaryPredicate) | Merge.kif 8464-8464 | earlier est une instance de pr�dicat binaire |
(instance earlier IrreflexiveRelation) | Merge.kif 8467-8467 | earlier est une instance de relation irr�flexive |
(instance earlier TemporalRelation) | Merge.kif 8465-8465 | earlier est une instance de relation temporel |
(instance earlier TotalValuedRelation) | Merge.kif 8468-8468 | earlier est une instance de relation total |
(instance earlier TransitiveRelation) | Merge.kif 8466-8466 | earlier est une instance de relation transitive |
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 8198-8198 | before est reli� � l'int�rieur de SUMO � earlier |
(termFormat ChineseLanguage earlier "早期") | domainEnglishFormat.kif 20799-20799 | before est reli� � l'int�rieur de SUMO � earlier |
(termFormat ChineseLanguage earlier "更早") | chinese_format.kif 438-438 | before est reli� � l'int�rieur de SUMO � earlier |
(termFormat ChineseTraditionalLanguage earlier "早期") | domainEnglishFormat.kif 20798-20798 | before est reli� � l'int�rieur de SUMO � earlier |
(termFormat EnglishLanguage earlier "earlier") | domainEnglishFormat.kif 20797-20797 | before est reli� � l'int�rieur de SUMO � earlier |
(termFormat de earlier "frueh") | terms-de.txt 176-176 | before est reli� � l'int�rieur de SUMO � earlier |
(termFormat tg earlier "kanina") | relations-tg.txt 190-190 | before est reli� � l'int�rieur de SUMO � earlier |
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 19773-19790 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ |
![]() |
![]() |