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

Formal Language: 



KB Term:  Term intersection
English Word: 

  transported

Sigma KEE - transported
transported

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


(documentation transported EnglishLanguage "(transported ?EVENT ?OBJ) means that ?OBJ is transported (carried/ moved to a different physical location) in the Transportation ?EVENT.") Mid-level-ontology.kif 20700-20703
(domain transported 1 Transportation) Mid-level-ontology.kif 20705-20705
(domain transported 2 Object) Mid-level-ontology.kif 20706-20706
(instance transported AsymmetricRelation) Mid-level-ontology.kif 20699-20699
(instance transported BinaryPredicate) Mid-level-ontology.kif 20698-20698
(instance transported CaseRole) Mid-level-ontology.kif 20708-20708
(subrelation transported patient) Mid-level-ontology.kif 20707-20707

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


(format ChineseLanguage transported "%2 %n 是在 %1 transported") chinese_format.kif 243-243
(format EnglishLanguage transported "%2 is %n transported during %1") english_format.kif 148-148
(subrelation cargo transported) Mid-level-ontology.kif 20719-20719
(termFormat ChineseLanguage transported "运输") chinese_format.kif 244-244
(termFormat EnglishLanguage transported "transported") domainEnglishFormat.kif 10262-10262

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


(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (agent ?DRIVING ?DRIVER))
    (transported ?TRANSPORT ?DRIVER))
Mid-level-ontology.kif 21457-21463


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners