Vending - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1944-1945
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1943-1943	Vending is a subclass of financial transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65689-65689

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1986-1995	If a transfer is an instance of vending and the object transferred in the transfer is an object and the object is not an instance of currency, then the statement the object is an instance of food for human or the object is an instance of beverage has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1947-1952	If a process is an instance of vending, then there exists the processM such that the processM is an instance of vending machine and the process originates at the processM

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 1959-1972