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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16800-16803
No TPTP formula. May not be expressible in strict first order. Merge.kif 16798-16798 The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16799-16799 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 16797-16797 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 22011-22011
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 22010-22010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22009-22009
No TPTP formula. May not be expressible in strict first order. terms-de.txt 218-218
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. Economy.kif 1497-1501 An agent employs a cognitive agent if and only if the agent is an instance of employer and the cognitive agent is an instance of employee
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3277-3283 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 17414-17422 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 2176-2180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22218-22240
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2403-2418
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1533-1546
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3041-3055
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3023-3039
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1196-1201
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1208-1223
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3608-3619
No TPTP formula. May not be expressible in strict first order. Merge.kif 17442-17445

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3653-3660 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 1946-1957
No TPTP formula. May not be expressible in strict first order. Government.kif 4447-4451
No TPTP formula. May not be expressible in strict first order. Government.kif 4453-4457
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 173-179
No TPTP formula. May not be expressible in strict first order. Merge.kif 10863-10871
No TPTP formula. May not be expressible in strict first order. Merge.kif 10847-10855
No TPTP formula. May not be expressible in strict first order. Merge.kif 10743-10752
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18303-18310
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1913-1925
No TPTP formula. May not be expressible in strict first order. Government.kif 4575-4580
No TPTP formula. May not be expressible in strict first order. Government.kif 4568-4573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22615-22621
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 1894-1899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18225-18231
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3374-3381
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24057-24062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24608-24617
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3123-3130
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 2292-2303
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9750-9763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24203-24217
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2311-2318

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25