Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  employs

Sigma KEE - employs
employs

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3725-3726
No TPTP formula. May not be expressible in strict first order. Merge.kif 16662-16665
No TPTP formula. May not be expressible in strict first order. Merge.kif 16660-16660 雇用 的 1 数量 是 施事体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16661-16661 雇用 的 2 数量 是 有认知的主事instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16659-16659 雇用二元谓语instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 547-547
No TPTP formula. May not be expressible in strict first order. english_format.kif 552-552
No TPTP formula. May not be expressible in strict first order. french_format.kif 321-321
No TPTP formula. May not be expressible in strict first order. relations-it.txt 91-91
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2089-2089
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 327-327
No TPTP formula. May not be expressible in strict first order. relations-de.txt 715-715
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 131-131
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 342-342
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 355-355
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 197-197
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22002-22002
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 548-548
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22001-22001
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22000-22000
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 198-198

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3260-3266 协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事雇用attribute那个 协议那个 有认知的主事party 协议 和 那个 另外 协议那个 有认知的主事party 协议
No TPTP formula. May not be expressible in strict first order. Merge.kif 17276-17284 实体人类instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 时间位置 holdsDuring 若且唯若 失业的那个 实体attribute那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Government.kif 2215-2219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20600-20622
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2392-2407
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1522-1535
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3040-3054
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3022-3038
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1180-1185
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1192-1207
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3590-3601
No TPTP formula. May not be expressible in strict first order. Merge.kif 17304-17307

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3642 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程金融交易instance 机构 employs 那个 有认知的主事那个 有认知的主事那个 过程agent那个 过程另一个 有认知的主事 结束
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Government.kif 4486-4490
No TPTP formula. May not be expressible in strict first order. Government.kif 4492-4496
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 171-177
No TPTP formula. May not be expressible in strict first order. Merge.kif 10762-10770
No TPTP formula. May not be expressible in strict first order. Merge.kif 10746-10754
No TPTP formula. May not be expressible in strict first order. Merge.kif 10642-10651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16915-16922
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1902-1914
No TPTP formula. May not be expressible in strict first order. Government.kif 4614-4619
No TPTP formula. May not be expressible in strict first order. Government.kif 4607-4612
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20997-21003
No TPTP formula. May not be expressible in strict first order. naics.kif 11934-11946
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1883-1888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16837-16843
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3357-3364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22413-22418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22964-22973
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3122-3129
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3084-3092
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2281-2292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8543-8556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22559-22573
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2300-2307

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4590-4593 有存在 有认知的主事 这样 NewReporter那个 有认知的主事attributeProPublica employs 那个 有认知的主事


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

Show without tree


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