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 16640-16643
No TPTP formula. May not be expressible in strict first order. Merge.kif 16638-16638 The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16639-16639 The number 2 argument of employs is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16637-16637 employs is an instance of binary predicate

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 An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17262 An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position
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 20601-20623
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 17282-17285

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3642 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive 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 10740-10748
No TPTP formula. May not be expressible in strict first order. Merge.kif 10724-10732
No TPTP formula. May not be expressible in strict first order. Merge.kif 10620-10629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16916-16923
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 20998-21004
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 16838-16844
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 22414-22419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22965-22974
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 8544-8557
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22560-22574
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 There exists a cognitive agent such that NewReporter is an attribute of the cognitive agent and Pro Publica Inc. employs the cognitive agent


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