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 16371-16374
No TPTP formula. May not be expressible in strict first order. Merge.kif 16369-16369 The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16370-16370 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 16368-16368 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. domainEnglishFormat.kif 21999-21999
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 21998-21998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21997-21997

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3267-3273 An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17007-17015 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 is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Government.kif 2212-2216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19943-19964
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2365-2380
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1497-1510
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1179-1184
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1191-1206
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3594-3605
No TPTP formula. May not be expressible in strict first order. Merge.kif 17035-17038

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3639-3646 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 1910-1921
No TPTP formula. May not be expressible in strict first order. Government.kif 4478-4482
No TPTP formula. May not be expressible in strict first order. Government.kif 4484-4488
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 10634-10642
No TPTP formula. May not be expressible in strict first order. Merge.kif 10618-10626
No TPTP formula. May not be expressible in strict first order. Merge.kif 10514-10523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16359-16366
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1877-1889
No TPTP formula. May not be expressible in strict first order. Government.kif 4606-4611
No TPTP formula. May not be expressible in strict first order. Government.kif 4599-4604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20339-20345
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 1858-1863
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16282-16287
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3363-3370
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21894-21899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22412-22421
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3052-3060
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2254-2265
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8151-8164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22006-22020
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2273-2280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16415-16417

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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