cooccur - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - cooccur

cooccur

appearance as argument number 1

(documentation cooccur ChineseLanguage "(cooccur ?THING1 ?THING2)的意思是 Object 或 Process ?THING1 和 Object 或 Process ?THING2 同时一起发生。这包括以下的时间关系：巧合、同时发生、同一时段发生和伴随发生。")	chinese_format.kif 2726-2728
(documentation cooccur EnglishLanguage "(cooccur ?THING1 ?THING2) means that the Object or Process ?THING1 occurs at the same time as, together with, or jointly with the Object or Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with.")	Merge.kif 8505-8509
(documentation cooccur JapaneseLanguage "(cooccur ?THING1 ?THING2)とは、Object または Process ?THING1 が Object または Process ?THING2 と同時に起こることを意味し、これは次の時間的関係をカバーする: 共に同時発生する。")	japanese_format.kif 1451-1453
(domain cooccur 1 Physical)	Merge.kif 8502-8502	The number 1 argument of cooccur is an instance of physical
(domain cooccur 2 Physical)	Merge.kif 8503-8503	The number 2 argument of cooccur is an instance of physical
(instance cooccur BinaryPredicate)	Merge.kif 8499-8499	cooccur is an instance of binary predicate
(instance cooccur EquivalenceRelation)	Merge.kif 8501-8501	cooccur is an instance of equivalence relation
(instance cooccur TemporalRelation)	Merge.kif 8500-8500	cooccur is an instance of temporal relation

appearance as argument number 2

(format ChineseLanguage cooccur "%1 %n{doesn't} 和 %2 同时发生")	chinese_format.kif 439-439
(format EnglishLanguage cooccur "%1 %n{doesn't} occur%p{s} at the same time as %2")	english_format.kif 445-445
(format FrenchLanguage cooccur "%1 %n{ne} se produit %n{pas} en m�me temps que %2")	french_format.kif 254-254
(format ItalianLanguage cooccur "%1 %n{non} occore%p{s} nello stesso tempo di %2")	relations-it.txt 59-59
(format JapaneseLanguage cooccur "%1 は %2 と同時に occur%p{s} %n{ない}")	japanese_format.kif 2048-2048
(format PortugueseLanguage cooccur "%1 %n{nao} acontece %n ao mesmo tempo que %2")	portuguese_format.kif 206-206
(format cz cooccur "%1 %n{doesn't} occur%p{s} at the same time as %2")	relations-cz.txt 260-260
(format de cooccur "%1 geschiecht gleichzeitig mit %2 %n{nicht}")	relations-de.txt 573-573
(format hi cooccur "%1 %2 ke saatha hii ghaTita %n{nahiin} hotaa hai")	relations-hindi.txt 100-100
(format ro cooccur "%1 %n{nu} occur%t{apare} în acelaºi timp cu %2")	relations-ro.kif 275-275
(format sv cooccur "%1 sker %n{inte} samtidigt som %2")	relations-sv.txt 278-278
(format tg cooccur "%1 %n nagaanap sa ang panahon dati ng %2")	relations-cb.txt 93-93
(termFormat ChineseLanguage cooccur "一同发生")	domainEnglishFormat.kif 17157-17157
(termFormat ChineseLanguage cooccur "同时发生")	chinese_format.kif 440-440
(termFormat ChineseTraditionalLanguage cooccur "一同發生")	domainEnglishFormat.kif 17156-17156
(termFormat EnglishLanguage cooccur "cooccur")	domainEnglishFormat.kif 17155-17155
(termFormat de cooccur "zusammenGeschiecht")	terms-de.txt 177-177
(termFormat tg cooccur "nagaanap sa ang panahon dati")	relations-tg.txt 135-135

antecedent

(=>
    (cooccur ?PHYS1 ?PHYS2)
    (equal
        (WhenFn ?PHYS1)
        (WhenFn ?PHYS2)))

Merge.kif 8511-8513

If a physical occurs at the same time as another physical,
then equal the time of existence of the physical and the time of existence of the other physical

consequent

(<=> (attribute ?MUSIC PolyphonicMusic) (exists (?PART1 ?PART2) (and (instance ?MUSIC MakingMusic) (instance ?PART1 MakingMusic) (instance ?PART2 MakingMusic) (subProcess ?PART1 ?MUSIC) (subProcess ?PART2 ?MUSIC) (not (equal ?PART1 ?PART2)) (cooccur ?PART1 ?MUSIC) (cooccur ?PART2 ?MUSIC))))	Mid-level-ontology.kif 744-755	Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and equal the process and the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object
(=> (equal (WhenFn ?PHYS1) (WhenFn ?PHYS2)) (cooccur ?PHYS1 ?PHYS2))	Merge.kif 8515-8517	If equal the time of existence of a physical and the time of existence of another physical, then the physical occurs at the same time as the other physical
(=> (instance ?DISCO DanceHall) (hasPurpose ?DISCO (exists (?DANCE ?MUSIC) (and (instance ?MUSIC MakingMusic) (instance ?DANCE Dancing) (cooccur ?MUSIC ?DANCE) (eventLocated ?MUSIC ?DISCO) (eventLocated ?DANCE ?DISCO)))))	Mid-level-ontology.kif 28760-28769	If a physical is an instance of dance hall, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of making music and the entity is an instance of dancing and the other entity occurs at the same time as the entity and the other entity is located at the physical and the entity is located at the physical

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners