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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FarmHand

Sigma KEE - FarmHand
FarmHand

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


(documentation FarmHand EnglishLanguage "OccupationalTrades which involve Agriculture.") Mid-level-ontology.kif 20851-20851
(externalImage FarmHand "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ RegaderaMetalica.jpg") pictureList.kif 8480-8480
(externalImage FarmHand "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ Cow_milking_machine_in_action_DSC04132.jpg") pictureList.kif 9203-9203
(instance FarmHand OccupationalTrade) Mid-level-ontology.kif 20850-20850

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


(termFormat ChineseLanguage FarmHand "农场的手") domainEnglishFormat.kif 23290-23290
(termFormat ChineseTraditionalLanguage FarmHand "農場的手") domainEnglishFormat.kif 23289-23289
(termFormat EnglishLanguage FarmHand "farm hand") domainEnglishFormat.kif 23288-23288

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


(=>
    (attribute ?P FarmHand)
    (exists (?F)
        (and
            (instance ?F Agriculture)
            (agent ?F ?P))))
Mid-level-ontology.kif 20853-20858


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